LEADER 01645nam2-2200493---450- 001 990001498510203316 005 20080115163326.0 010 $a88-8147-347-X 035 $a000149851 035 $aUSA01000149851 035 $a(ALEPH)000149851USA01 035 $a000149851 100 $a20040312d2004----km-y0enga50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aDe Mulieribus$zDelle Donne$fMario Equicola$ga cura di Giuseppe Lucchesini e Pina Totaro 210 $aPisa$cIstituti Editoriali Poligrafici internazionali$d2004 215 $a78 p.$d22 cm 225 2 $aBruniana & Campanelliana$iSupplementi. Materiali$v1 300 $aTesto latino e trad. italiana a fronte 410 0$1001000304782$12001$aBruniana & Campanelliana 454 1$12001 461 1$1001-------$12001 606 0 $aDonna$xAspetti socio-culturali$zSec. 15.-16. 676 $a305.42 700 1$aEQUICOLA,$bMario <1470-1525>$0195838 702 1$aLUCCHESINI,$bGiuseppe 702 1$aTOTARO,$bPina 801 0$aIT$bsalbc$gISBD 912 $a990001498510203316 951 $aII.1 Coll. 117/ 5(V B 2016)$b173907 L.M.$cV B$d00135510 959 $aBK 969 $aUMA 979 $aMARIA$b10$c20040312$lUSA01$h0947 979 $aPATRY$b90$c20040406$lUSA01$h1744 979 $aSENATORE$b90$c20050530$lUSA01$h0932 979 $aCOPAT7$b90$c20060220$lUSA01$h1408 979 $aCOPAT6$b90$c20070222$lUSA01$h0939 979 $aPATRY$b90$c20080115$lUSA01$h1617 979 $aPATRY$b90$c20080115$lUSA01$h1633 979 $aPATRY$b90$c20080115$lUSA01$h1637 996 $aDe mulieribus$9241907 997 $aUNISA LEADER 01824oam 2200601zu 450 001 9910511483503321 005 20211005034235.0 010 $a2-296-81222-8 010 $a2-296-46586-2 035 $a(CKB)3230000000227226 035 $a(SSID)ssj0000707841 035 $a(PQKBManifestationID)12261682 035 $a(PQKBTitleCode)TC0000707841 035 $a(PQKBWorkID)10647118 035 $a(PQKB)10260073 035 $a(MiAaPQ)EBC6669150 035 $a(Au-PeEL)EBL6669150 035 $a(OCoLC)1260346616 035 $a(EXLCZ)993230000000227226 100 $a20160829d2011 uy 101 0 $afre 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDe la ville en politique 210 31$a[Place of publication not identified]$cL'Harmattan$d2011 215 $a1 online resource (178 pages) 225 0 $aQuestions contemporaines De la ville en politique 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a2-296-55257-9 410 0$aQuestions Contemporaines Ser. 606 $aCity planning$zFrance 606 $aUrban policy$zFrance 606 $aPolitical participation$zFrance 606 $aSociology, Urban$zFrance 606 $aSociology & Social History$2HILCC 606 $aSocial Sciences$2HILCC 606 $aCommunities - Urban Groups$2HILCC 608 $aElectronic books. 615 0$aCity planning 615 0$aUrban policy 615 0$aPolitical participation 615 0$aSociology, Urban 615 7$aSociology & Social History 615 7$aSocial Sciences 615 7$aCommunities - Urban Groups 700 $aSpizzichino$b R$0106051 801 0$bPQKB 906 $aBOOK 912 $a9910511483503321 996 $aDe la ville en politique$92549849 997 $aUNINA LEADER 03154nam 22005415 450 001 9910300124703321 005 20200703073641.0 010 $a3-319-92414-1 024 7 $a10.1007/978-3-319-92414-4 035 $a(CKB)4100000007159017 035 $a(DE-He213)978-3-319-92414-4 035 $a(MiAaPQ)EBC6311983 035 $a(PPN)232471312 035 $a(EXLCZ)994100000007159017 100 $a20181123d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSets, Models and Proofs /$fby Ieke Moerdijk, Jaap van Oosten 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XIV, 141 p. 39 illus.) 225 1 $aSpringer Undergraduate Mathematics Series,$x1615-2085 311 $a3-319-92413-3 320 $aIncludes bibliographical references and index. 327 $aIntroduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index. 330 $aThis textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel?s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year. 410 0$aSpringer Undergraduate Mathematics Series,$x1615-2085 606 $aProof theory 606 $aAlgebra 606 $aStructures and Proofs$3https://scigraph.springernature.com/ontologies/product-market-codes/M24010 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 615 0$aProof theory. 615 0$aAlgebra. 615 14$aStructures and Proofs. 615 24$aAlgebra. 676 $a511.3 700 $aMoerdijk$b Ieke$4aut$4http://id.loc.gov/vocabulary/relators/aut$059494 702 $avan Oosten$b Jaap$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910300124703321 996 $aSets, Models and Proofs$92047132 997 $aUNINA