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 03055oam 2200709I 450 001 9910780206603321 005 20230126202328.0 010 $a1-315-29148-7 010 $a1-315-29149-5 010 $a1-315-29147-9 010 $a0-7656-1402-2 024 7 $a10.4324/9781315291499 035 $a(CKB)111087027812152 035 $a(MH)008893509-4 035 $a(SSID)ssj0000255257 035 $a(PQKBManifestationID)12063019 035 $a(PQKBTitleCode)TC0000255257 035 $a(PQKBWorkID)10211938 035 $a(PQKB)11247272 035 $a(MiAaPQ)EBC4693325 035 $a(Au-PeEL)EBL4693325 035 $a(CaPaEBR)ebr11269271 035 $a(CaONFJC)MIL955713 035 $a(OCoLC)959150477 035 $a(OCoLC)961208676 035 $a(EXLCZ)99111087027812152 100 $a20180706e20152002 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTaking the high road $ecommunities organize for economic change /$fDavid B. Reynolds 210 1$aAbingdon, Oxon :$cRoutledge,$d2015. 215 $a1 online resource (xvi, 336 p. ) 300 $aFirst published 2002 by M.E. Sharpe. 311 $a0-7656-0745-X 311 $a0-7656-0744-1 320 $aIncludes bibliographical references and index. 327 $aSocial citizenship : lessons from Sweden -- Associative democracy : lessons from Europe's German powerhouse -- Social partnership and social ownership : lessons from Austria -- Confronting "globalization" and the new capitalist agenda -- Facing the ecological crisis : the meaning of Green politics -- The progressive potential in the United States : liberal confinement and radical renewal -- The living wage movement sweeps the nation! -- Building a high-road agenda : examples from Wisconsin -- State campaigns for economic justice -- The new labor movement -- Melding environmental and social justice activism : the emerging battle against sprawl -- Toward a national movement -- Progressive electoral politics. 606 $aSocial justice$zUnited States 606 $aSocial justice$zEurope 606 $aCapitalism$zUnited States 606 $aCapitalism$zEurope 606 $aPolitical participation$zUnited States 607 $aUnited States$xEconomic policy$y1993-2001 607 $aUnited States$xEconomic policy$xCitizen participation 615 0$aSocial justice 615 0$aSocial justice 615 0$aCapitalism 615 0$aCapitalism 615 0$aPolitical participation 676 $a303.3/72/0973 700 $aReynolds$b David B.$f1963-,$0925816 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910780206603321 996 $aTaking the high road$93802490 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress