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

LEADER 01237nam a2200265 i 4500
001 991002821999707536
008 150914s1996    de       b    100 0 ger d
020   $a3880993246
035   $ab14238184-39ule_inst
040   $aDip. di Studi Umanistici$bita
245 00$aJoseph Roth, der Sieg über die Zeit :$bLondoner Symposium /$cherausgegeben von Alexander Stillmark
246 10$aSieg über die Zeit
260   $aStuttgart :$bHeinz,$c1996
300   $aX, 181 p. ;$c21 cm
440  0$aStuttgarter Arbeiten zur Germanistik ;$v320
500   $aFa parte anche della collana: Publications of the Institute of Germanic Studies(University of London school of advanced study) ; 65
504   $aContiene riferimenti bibliografici
600 10$aRoth, Joseph$d<1894-1939>$xCriticism and interpretation$xCongressi
700 1 $aStillmark, Alexander$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0732863
907   $a.b14238184$b02-12-15$c14-09-15
912   $a991002821999707536
945   $aLE012 833 ROT 01.01$g1$i2007000263228$lle012$op$pE30.05$q-$rl$s-  $t0$u1$v0$w1$x0$y.i15692061$z14-09-15
996   $aJoseph Roth, der Sieg über die Zeit$91443918
997   $aUNISALENTO
998   $ale012$b14-09-15$cm$da  $e-$fger$gde $h0$i0