Logica: Metodo Breve
(Sprache: Italienisch)
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
27.50 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Logica: Metodo Breve “
Klappentext zu „Logica: Metodo Breve “
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
Bibliographische Angaben
- Autor: Daniele Mundici
- 2011, XI, 126 Seiten, Maße: 15,6 x 23,6 cm, Kartoniert (TB), Italienisch
- Verlag: Springer, Berlin
- ISBN-10: 8847018838
- ISBN-13: 9788847018839
Sprache:
Italienisch
Kommentar zu "Logica: Metodo Breve"
Schreiben Sie einen Kommentar zu "Logica: Metodo Breve".
Kommentar verfassen