LEADER 00855nam0 2200289 450 001 9910432260403321 005 20210203113254.0 010 $a9788490262993 100 $a20210127d km y0itay50 ba 101 0$acat 102 $aES 105 $ay 001yy 200 1 $a<>mas de les a?nimes$fVicent-Josep Escarti? 210 $aAlzira$cBromera$c2019 215 $a228 p.$d; 23 cm 225 1 $a<>ecle?ctica$v303 300 $a"Premi Enric Valor de Novella en Valencia 2018 de l'Excma. Diputacio d'Alacant." 610 0 $aNarrativa catalana 676 $a849.9354$v23 700 1$aEscarti?,$bVicent Josep$0789575 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910432260403321 952 $a849.9354 ESC 1$b2020/1577$fFLFBC 959 $aFLFBC 996 $aMas de les a?nimes$91764871 997 $aUNINA LEADER 03043nam 22006495 450 001 9910392738603321 005 20200704020932.0 010 $a88-470-5538-5 024 7 $a10.1007/978-88-470-5538-4 035 $a(CKB)3710000000306340 035 $a(SSID)ssj0001386590 035 $a(PQKBManifestationID)11826492 035 $a(PQKBTitleCode)TC0001386590 035 $a(PQKBWorkID)11374478 035 $a(PQKB)10888436 035 $a(DE-He213)978-88-470-5538-4 035 $a(MiAaPQ)EBC6220764 035 $a(Au-PeEL)EBL6220764 035 $a(OCoLC)899249202 035 $a(PPN)183096665 035 $a(EXLCZ)993710000000306340 100 $a20141115d2014 u| 0 101 0 $aita 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogica $eVolume 1 - Dimostrazioni e modelli al primo ordine /$fby Vito Michele Abrusci, Lorenzo Tortora de Falco 205 $a1st ed. 2014. 210 1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2014. 215 $a1 online resource (IX, 190 pagg.) 225 1 $aLa Matematica per il 3+2,$x2038-5722 ;$v80 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a88-470-5537-7 327 $a1 Introduzione -- 2 Alcune nozioni preliminari -- 3 Dimostrabilità e soddisfacibilità -- 4 Verso la teoria della dimostrazione: il teorema del taglio per LK -- 5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza. 330 $aGli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale. 410 0$aLa Matematica per il 3+2,$x2038-5722 ;$v80 606 $aMathematical logic 606 $aLogic 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aMathematical logic. 615 0$aLogic. 615 14$aMathematical Logic and Foundations. 615 24$aLogic. 615 24$aMathematical Logic and Formal Languages. 676 $a511.3 700 $aAbrusci$b Vito Michele$4aut$4http://id.loc.gov/vocabulary/relators/aut$044476 702 $aTortora de Falco$b Lorenzo$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910392738603321 996 $aLogica$91750452 997 $aUNINA