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)
Fr. 32.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
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, Masse: 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"
0 Gebrauchte Artikel zu „Logica: Metodo Breve“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Logica: Metodo Breve".
Kommentar verfassen