LEADER 01323cam0-22004811i-450- 001 990006343100403321 005 20150629122108.0 010 $a88-15-04789-1 035 $a000634310 035 $aFED01000634310 035 $a(Aleph)000634310FED01 035 $a000634310 100 $a20000112d1994----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>amministrazione pubblica italiana$eun profilo$fa cura di Sabino Cassese e Claudio Franchini 205 $a2. ed. agg. al 1994 210 $aBologna$cil Mulino$d1994 215 $a290 p.$d22 cm 225 1 $aStudi e ricerche$v333 610 0 $aAmministrazione pubblica$aItalia 676 $a350 676 $a353 702 1$aCassese,$bSabino$f<1935- > 702 1$aFranchini,$bClaudio 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006343100403321 952 $aDP XXIII - 159$b12996$fDEC 952 $a0-4-557-TI$b6025$fECA 952 $aVI I 717$b3961$fDDA 952 $aCOLLEZ. 345 (333)$b33328*$fFGBC 952 $a353 CAS 3$b7142$fBFS 952 $aXI A 12$b1040$fDDCIC 959 $aDEC 959 $aFGBC 959 $aBFS 959 $aDDCIC 959 $aECA 959 $aDDA 996 $aAmministrazione pubblica italiana$9635984 997 $aUNINA LEADER 00670nam0-22002411i-450- 001 990001137530403321 035 $a000113753 035 $aFED01000113753 035 $a(Aleph)000113753FED01 035 $a000113753 100 $a20000920d--------km-y0itay50------ba 101 0 $aeng 200 1 $a<>Precis of Mathematical Logic$fby Bochens ki 210 $aDordrecht (NL)$cReidel 225 1 $aSynthese Library 700 1$aBochenski,$bJoseph M.$f<1902- >$044989 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001137530403321 952 $aC-25-(1$b11386$fMA1 959 $aMA1 996 $aPrecis of Mathematical Logic$9344384 997 $aUNINA LEADER 04469nam 22014295 450 001 9910154753003321 005 20190708092533.0 010 $a1-4008-8193-5 024 7 $a10.1515/9781400881932 035 $a(CKB)3710000000620138 035 $a(MiAaPQ)EBC4738617 035 $a(DE-B1597)467959 035 $a(OCoLC)979581035 035 $a(DE-B1597)9781400881932 035 $a(EXLCZ)993710000000620138 100 $a20190708d2016 fg 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 14$aThe Calculi of Lambda Conversion. (AM-6), Volume 6 /$fAlonzo Church 210 1$aPrinceton, NJ : $cPrinceton University Press, $d[2016] 210 4$dİ1985 215 $a1 online resource (89 pages) 225 0 $aAnnals of Mathematics Studies ;$v294 311 $a0-691-08394-0 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tCONTENTS -- $tChapter I. INTRODUCTORY -- $tChapter II. LAMBDA-CONVERSION -- $tChapter III. LAMBDA-DEFINABILITY -- $tChapter IV. COMBINATIONS, GÖDEL NUMBERS -- $tChapter V. THE CALCULI OF ?-K-CONVERSION AND ?-?- CONVERSION -- $tINDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- $tBIBLIOGRAPHY -- $tCORRECTION AND ADDITIONS 330 $aThe description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming. 410 0$aAnnals of mathematics studies ;$vNumber 6. 606 $aLogic, Symbolic and mathematical 606 $aRecursive functions 610 $a2H. 610 $aA-normal form. 610 $aAddition. 610 $aAlphabetical order. 610 $aAmbiguity. 610 $aArgument of a function. 610 $aAxiom. 610 $aBibliography. 610 $aBig O notation. 610 $aCalculation. 610 $aCharacteristic function (probability theory). 610 $aCombination. 610 $aComplex number. 610 $aComputability. 610 $aComputation. 610 $aConsistency. 610 $aCorollary. 610 $aDefinition. 610 $aDenotation. 610 $aDetermination. 610 $aDifferential calculus. 610 $aEnumeration. 610 $aEquation. 610 $aExc. 610 $aExistential quantification. 610 $aExponentiation. 610 $aFinitary. 610 $aFinite set. 610 $aFormal system. 610 $aFrege (programming language). 610 $aFunction (mathematics). 610 $aGödel numbering. 610 $aIdentity function. 610 $aIn the process of. 610 $aInteger. 610 $aIteration. 610 $aLimit (mathematics). 610 $aLogic. 610 $aLogical conjunction. 610 $aLogical disjunction. 610 $aMathematical induction. 610 $aMathematical logic. 610 $aMathematics. 610 $aMetamathematics. 610 $aNatural number. 610 $aNegation. 610 $aNotation. 610 $aNull set. 610 $aNumber theory. 610 $aOrdinal number. 610 $aPairing. 610 $aPaul Bernays. 610 $aPrimitive recursive function. 610 $aPrincipia Mathematica. 610 $aPropositional function. 610 $aQuantifier (logic). 610 $aReal number. 610 $aRecursion (computer science). 610 $aRecursion. 610 $aReduction of order. 610 $aRequirement. 610 $aResultant. 610 $aRule of inference. 610 $aScientific notation. 610 $aSequence. 610 $aSet theory. 610 $aSpecial case. 610 $aSuccessor function. 610 $aTheorem. 610 $aTheory. 610 $aTransfinite number. 610 $aTransfinite. 610 $aTruth value. 610 $aUncertainty. 610 $aUniversal quantification. 610 $aUpper and lower bounds. 610 $aVariable (mathematics). 610 $aWell-formed formula. 610 $aWithout loss of generality. 615 0$aLogic, Symbolic and mathematical. 615 0$aRecursive functions. 676 $a517.5 700 $aChurch$b Alonzo, $045761 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910154753003321 996 $aThe Calculi of Lambda Conversion. (AM-6), Volume 6$92785668 997 $aUNINA