LEADER 06719nam 22016815 450 001 9910154754303321 005 20190708092533.0 010 $a1-4008-8145-5 024 7 $a10.1515/9781400881451 035 $a(CKB)3710000000619150 035 $a(MiAaPQ)EBC4738800 035 $a(DE-B1597)467976 035 $a(OCoLC)954124349 035 $a(OCoLC)999361806 035 $a(DE-B1597)9781400881451 035 $a(EXLCZ)993710000000619150 100 $a20190708d2016 fg 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aIntroduction to Mathematical Logic (PMS-13), Volume 13 /$fAlonzo Church 210 1$aPrinceton, NJ : $cPrinceton University Press, $d[2016] 210 4$d©1991 215 $a1 online resource (389 pages) 225 0 $aPrinceton Mathematical Series ;$v13 300 $aIncludes index. 311 $a0-691-02906-7 311 $a0-691-07984-6 327 $tFrontmatter -- $tPreface -- $tContents -- $tIntroduction -- $tI. The Propositional Calculus -- $tII. The Propositional Calculus (Continued) -- $tIII. Functional Calculi of First Order -- $tIV. The Pure Functional Calculus of First Order -- $tV. Functional Calculi of Second Order -- $tIndex of Definitions -- $tIndex of Authors -- $tErrata 330 $aLogic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world. 410 0$aPrinceton landmarks in mathematics and physics. 606 $aLogic, Symbolic and mathematical 610 $aAbstract algebra. 610 $aActa Mathematica. 610 $aArithmetic. 610 $aAxiom of choice. 610 $aAxiom of infinity. 610 $aAxiom of reducibility. 610 $aAxiom schema. 610 $aAxiom. 610 $aAxiomatic system. 610 $aBinary function. 610 $aBoolean algebra (structure). 610 $aBoolean ring. 610 $aCalculus ratiocinator. 610 $aCharacterization (mathematics). 610 $aClass (set theory). 610 $aClassical mathematics. 610 $aCommutative property. 610 $aCommutative ring. 610 $aConditional disjunction. 610 $aDavid Hilbert. 610 $aDecision problem. 610 $aDeduction theorem. 610 $aDenotation. 610 $aDisjunctive syllogism. 610 $aDouble negation. 610 $aDuality (mathematics). 610 $aElementary algebra. 610 $aElementary arithmetic. 610 $aEnglish alphabet. 610 $aEquation. 610 $aExistential quantification. 610 $aExpression (mathematics). 610 $aFormation rule. 610 $aFrege (programming language). 610 $aFunction (mathematics). 610 $aFunctional calculus. 610 $aFundamenta Mathematicae. 610 $aGödel numbering. 610 $aGödel's completeness theorem. 610 $aGödel's incompleteness theorems. 610 $aHilbert's program. 610 $aHypothetical syllogism. 610 $aImperative logic. 610 $aInference. 610 $aIntroduction to Mathematical Philosophy. 610 $aLambda calculus. 610 $aLinear differential equation. 610 $aLogic. 610 $aLogical connective. 610 $aLogical disjunction. 610 $aMaterial implication (rule of inference). 610 $aMathematical analysis. 610 $aMathematical induction. 610 $aMathematical logic. 610 $aMathematical notation. 610 $aMathematical practice. 610 $aMathematical problem. 610 $aMathematical theory. 610 $aMathematics. 610 $aMathematische Zeitschrift. 610 $aMetatheorem. 610 $aModal logic. 610 $aModus ponendo tollens. 610 $aNatural number. 610 $aNaturalness (physics). 610 $aNegation. 610 $aNotation. 610 $aNumber theory. 610 $aObject language. 610 $aParity (mathematics). 610 $aPredicate (mathematical logic). 610 $aPrenex normal form. 610 $aPrincipia Mathematica. 610 $aPropositional calculus. 610 $aPropositional function. 610 $aPropositional variable. 610 $aQuantifier (logic). 610 $aRange (mathematics). 610 $aReal number. 610 $aRecursion (computer science). 610 $aRestriction (mathematics). 610 $aRiemann surface. 610 $aRing (mathematics). 610 $aRule of inference. 610 $aScientific notation. 610 $aSecond-order arithmetic. 610 $aSeries (mathematics). 610 $aSign (mathematics). 610 $aSkolem normal form. 610 $aSpecial case. 610 $aTautology (logic). 610 $aTerm logic. 610 $aThe Principles of Mathematics. 610 $aTheorem. 610 $aThree-dimensional space (mathematics). 610 $aTransfinite number. 610 $aTriviality (mathematics). 610 $aTruth table. 610 $aVariable (mathematics). 610 $aZermelo set theory. 615 0$aLogic, Symbolic and mathematical. 676 $a511.3 700 $aChurch$b Alonzo, $045761 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910154754303321 996 $aIntroduction to Mathematical Logic (PMS-13), Volume 13$92786626 997 $aUNINA LEADER 00985nam0 22002651i 450 001 UON00386222 005 20231205104551.455 010 $a88-09-02175-4 100 $a20101124d2001 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aIo, Tituba strega nera di Salem$fMaryse Condé$etraduzione di Maria Adelaide Mori 210 $aFirenze$c Giunti editore$d2001 215 $a223 p.$d22 cm. 606 $aSCRITTRICI CARAIBICHE$xAntologie$3UONC042104$2FI 620 $aIT$dFirenze$3UONL000052 702 1$aCONDÉ$bMaryse$3UONV049775 712 $aGiunti$3UONV249136$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00386222 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI AME VI c 2.74 0035 $eSI DA 3070 5 0035 $sBuono 996 $aIo, Tituba strega nera di Salem$91353363 997 $aUNIOR