Logica: Metodo Breve

Daniele Mundici (Autor)

Buch | Softcover

126 Seiten

2011
Springer Verlag
978-88-470-1883-9 (ISBN)

Artikel merken

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-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.

Reihe/Serie	La Matematica per il 3+2
Reihe/Serie	UNITEXT ; 50
Zusatzinfo	XI, 126 pagg.
Verlagsort	Milan
Sprache	italienisch
Themenwelt	Geisteswissenschaften ► Sprach- / Literaturwissenschaft ► Sprachwissenschaft
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Sozialwissenschaften
ISBN-10	88-470-1883-8 / 8847018838
ISBN-13	978-88-470-1883-9 / 9788847018839
Zustand	Neuware