LEADER 01746cam0-22005651i-450- 001 990000197960403321 005 20060608120535.0 035 $a000019796 035 $aFED01000019796 035 $a(Aleph)000019796FED01 035 $a000019796 100 $a20020821g19621978km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $aStrutture$fMichele Pagano 210 $aNapoli$cLiguori$d1962-1978 215 $av.$cill.$d24 cm 225 1 $aQuaderni di teoria e tecnica 327 0 $a1.: /$a2.1.: Progetti di strutture in cemento armato$a2.2: L'effetto instabilizzante dei carichi verticali nel calcolo dei telai multipiani 610 0 $aStrutture edilizie 610 0 $aStrutture in cemento armato 610 0 $aStrutture metalliche 610 0 $aMateriali da costruzione 610 0 $aCostruzioni di macchine 610 0 $aTeoria e pratica delle costruzioni civili e industriali 610 0 $aMeccanica razionale 610 0 $aCemento armato precompresso 676 $a624.17 700 1$aPagano,$bMichele 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000197960403321 952 $a13 D 33 11$b25447$fFINBC 952 $a13 D 33 10$b29109$fFINBC 952 $a13 D 36 15$b29111$fFINBC 952 $a13 A 56 20$b29110$fFINBC 952 $a13 K 76 25$b25447/a$fFINBC 952 $a13 D 34 27$b29106$fFINBC 952 $a13 D 33 09$b25447/b$fFINBC 952 $a13 A 56 21$b29105$fFINBC 952 $a13 D 36 16$b29104$fFINBC 952 $aTECN B 40(1-3)$b8582A$fFARBC 952 $a07 B-37$fDINSC 952 $a03 CP.0,78$b2323$fIINTC 959 $aFINBC 959 $aFARBC 959 $aDINSC 959 $aIINTC 997 $aUNINA LEADER 03894nam 22005295 450 001 9910300623003321 005 20200630020149.0 010 $a3-030-03255-8 024 7 $a10.1007/978-3-030-03255-5 035 $a(CKB)4100000007181253 035 $a(DE-He213)978-3-030-03255-5 035 $a(MiAaPQ)EBC6314108 035 $a(EXLCZ)994100000007181253 100 $a20181128d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPhilosophical and Mathematical Logic /$fby Harrie de Swart 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XX, 539 p.) 225 1 $aSpringer Undergraduate Texts in Philosophy,$x2569-8737 311 $a3-030-03253-1 327 $aChapter 1. Propositional Logic -- Chapter 2. Predicate Logic -- Chapter 3. Arithmetic and Gödel?s incompleteness theorem -- Chapter 4. Sets (finite and infinite) -- Chapter 5. Philosophical logic: modal, epistemic, deontic, temporal -- Chapter 6. Philosophy of language -- Chapter 7. Intuitionism and intuitionistic logic -- Chapter 8. Applications of logic and set theory: logic programming; relational databases. 330 $aThis book was written to serve as an introduction to logic, with in each chapter ? if applicable ? special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel?s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if ?, then ?" can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises. 410 0$aSpringer Undergraduate Texts in Philosophy,$x2569-8737 606 $aKnowledge, Theory of 606 $aLogic, Symbolic and mathematical 606 $aEpistemology$3https://scigraph.springernature.com/ontologies/product-market-codes/E13000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aKnowledge, Theory of. 615 0$aLogic, Symbolic and mathematical. 615 14$aEpistemology. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a511.3 700 $ade Swart$b Harrie$4aut$4http://id.loc.gov/vocabulary/relators/aut$0932891 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910300623003321 996 $aPhilosophical and Mathematical Logic$92099715 997 $aUNINA