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 02660oam 2200661I 450 001 9910781159503321 005 20230725045024.0 010 $a1-134-02702-8 010 $a1-134-02695-1 010 $a1-282-55552-9 010 $a9786612555527 010 $a1-84392-720-9 024 7 $a10.4324/9781843927204 035 $a(CKB)2550000000012775 035 $a(EBL)534352 035 $a(OCoLC)649906508 035 $a(SSID)ssj0000443511 035 $a(PQKBManifestationID)11287364 035 $a(PQKBTitleCode)TC0000443511 035 $a(PQKBWorkID)10455692 035 $a(PQKB)10981412 035 $a(MiAaPQ)EBC534352 035 $a(Au-PeEL)EBL534352 035 $a(CaPaEBR)ebr10389921 035 $a(CaONFJC)MIL255552 035 $a(EXLCZ)992550000000012775 100 $a20180706d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aTransitions to better lives $eoffender readiness and rehabilitation /$f[edited by] Andrew Day. [et al.] 210 1$aCullompton, Devon ;$aPortland, Or. :$cWillan Publishing,$d2010. 215 $a1 online resource (330 p.) 300 $aDescription based upon print version of record. 311 $a1-84392-718-7 311 $a1-84392-719-5 320 $aIncludes bibliographical references (p. 254-288) and index. 327 $apt. 1. What is treatment readiness? -- pt. 2. Readiness and offenders -- pt. 3. Clinical and therapeutic approaches to working with low levels of readiness. 330 $aTransitions to Better Lives aims to describe, collate, and summarize a body of recent research - both theoretical and empirical - that explores the issue of treatment readiness in offender programming. It is divided into three sections:part one unpacks a model of treatment readiness, and explains how it has been operationalizedpart two discusses how the construct has been applied to the treatment of different offender groupspart three iscusses some of the practice approaches that have been identified as holding promise in addressing low levels of of 517 3 $aOffender readiness and rehabilitation 606 $aCriminals$xRehabilitation 606 $aRecidivism 606 $aCriminal psychology 615 0$aCriminals$xRehabilitation. 615 0$aRecidivism. 615 0$aCriminal psychology. 676 $a365.66 676 $a365/.661 701 $aDay$b Andrew$cProfessor.$0858610 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910781159503321 996 $aTransitions to better lives$93683257 997 $aUNINA