---

＜電子ブック＞
Logica: Metodo Breve / by Daniele Mundici
(La Matematica per il 3+2. ISSN:20385757 ; 50)

版	1st ed. 2011.
出版者	(Milano : Springer Milan : Imprint: Springer)
出版年	2011
大きさ	XI, 126 pagg : online resource
著者標目	*Mundici, Daniele author SpringerLink (Online service)
件　名	LCSH:Mathematical logic LCSH:Machine theory LCSH:Semiotics FREE:Mathematical Logic and Foundations FREE:Formal Languages and Automata Theory FREE:Semiotics
一般注記	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 HTTP:URL=https://doi.org/10.1007/978-88-470-1884-6

 類似資料