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 02830oam 2200589Ia 450 001 9910788996003321 005 20231222182455.0 010 $a1-282-48151-7 010 $a9786612481512 010 $a1-4438-1795-3 035 $a(CKB)3390000000009071 035 $a(EBL)1133198 035 $a(OCoLC)830167998 035 $a(SSID)ssj0000434836 035 $a(PQKBManifestationID)11293515 035 $a(PQKBTitleCode)TC0000434836 035 $a(PQKBWorkID)10403486 035 $a(PQKB)11752069 035 $a(MiAaPQ)EBC1133198 035 $a(Au-PeEL)EBL1133198 035 $a(CaPaEBR)ebr10677036 035 $a(CaONFJC)MIL248151 035 $a(OCoLC)465367735 035 $a(FINmELB)ELB144156 035 $a(EXLCZ)993390000000009071 100 $a20100311d2010 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aConsciousness, theatre, literature, and the arts 2009 /$fedited by Daniel Meyer-Dinkgrafe 210 1$aNewcastle upon Tyne :$cCambridge Scholars Pub.,$d2010. 215 $a1 online resource (345 pages) 311 0 $a1-4438-1649-3 320 $aIncludes bibliographical references. 327 $aCONTENTS; INTRODUCTION; CHAPTER ONE; CHAPTER TWO; CHAPTER THREE; CHAPTER FOUR; CHAPTER FIVE; CHAPTER SIX; CHAPTER SEVEN; CHAPTER EIGHT; CHAPTER NINE; CHAPTER TEN; CHAPTER ELEVEN; CHAPTER TWELVE; CHAPTER THIRTEEN; CHAPTER FOURTEEN; CHAPTER FIFTEEN; CHAPTER SIXTEEN; CHAPTER SEVENTEEN; CHAPTER EIGHTEEN; CHAPTER NINETEEN; CHAPTER TWENTY; CHAPTER TWENTY-ONE; CHAPTER TWENTY-TWO; CHAPTER TWENTY-THREE; CHAPTER TWENTY-FOUR; CHAPTER TWENTY-FIVE; CHAPTER TWENTY-SIX; CHAPTER TWENTY-SEVEN; CONTRIBUTORS 330 $aThe essays collected in this volume were initially presented at the Third International Conference on Consciousness, Theatre, Literature and the Arts, held at the University of Lincoln, May 16-18, 2009. The conference was organised on the basis of the success of its predecessors in 2005 and 2007, and on the basis of the success of the Rodopi book series Consciousness, Literature and the Arts, which has to date seen twenty-one volumes in print, with another twelve in press or in the process of... 606 $aConsciousness in art$vCongresses 606 $aArts$xPsychological aspects$vCongresses 615 0$aConsciousness in art 615 0$aArts$xPsychological aspects 676 $a700.19 701 $aMeyer-Dinkgrafe$b Daniel$f1958-$0852416 712 12$aInternational Conference on Consciousness, Theatre, Literature and the Arts 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788996003321 996 $aConsciousness, theatre, literature, and the arts 2009$93833421 997 $aUNINA