02446nam 22006015 450 991048468590332120200630063532.088-470-1884-610.1007/978-88-470-1884-6(CKB)2670000000084133(EBL)993840(OCoLC)824457275(SSID)ssj0000879223(PQKBManifestationID)11956559(PQKBTitleCode)TC0000879223(PQKBWorkID)10852621(PQKB)11122888(DE-He213)978-88-470-1884-6(MiAaPQ)EBC993840(PPN)153867647(EXLCZ)99267000000008413320110501d2011 u| 0itaur|n|---|||||txtccrLogica: Metodo Breve /by Daniele Mundici1st ed. 2011.Milano :Springer Milan :Imprint: Springer,2011.1 online resource (131 p.)La Matematica per il 3+2,2038-5722 ;50Includes index.88-470-1883-8 pt. 1. Logica di Boole -- pt. 2. Logica dei Predicati.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.La Matematica per il 3+2,2038-5722 ;50Mathematical logicSemanticsMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Semanticshttps://scigraph.springernature.com/ontologies/product-market-codes/N39000Mathematical logic.Semantics.Mathematical Logic and Foundations.Mathematical Logic and Formal Languages.Semantics.511.3Mundici Danieleauthttp://id.loc.gov/vocabulary/relators/aut62698BOOK9910484685903321Logica: metodo breve2983391UNINA