Cart 0
Logica: Metodo Breve

Logica: Metodo Breve

Daniele Mundici

Format: Print Book

ISBN: 9788847018839

  • Save SGD 4.85
Tax included.
Will not ship until
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.

Publication Year: 2011
Imprint: Springer Milan
Format: P
Weight (Gram): 230





We Also Recommend

Taming the Guerrilla in International Commercial Arbitration

Taming the Guerrilla in International Commercial Arbitration
Commercial Aviation in the Jet Era and the Systems that Make it Possible

Commercial Aviation in the Jet Era and the Systems that Make it Possible

Save SGD 6.06
Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Attitudes, Beliefs, Motivation and Identity in Mathematics Education

Save SGD 1.62
The Asian 21st Century

The Asian 21st Century

Save SGD 8.65
Breast Imaging Essentials

Breast Imaging Essentials