LEADER 01163nam0-2200361li-450 
001 990000254790203316
005 20180312154846.0
010   $a88-386-0948-9
035   $a0025479
035   $aUSA010025479
035   $a(ALEPH)000025479USA01
035   $a0025479
100   $a20001109d1990----km-y0itay0103----ba
101 0 $aita
102   $aIT
200 1 $aHyperIDEA$eambiente integrato per lo sviluppodi applicazioni ipertestuali ; versione 1.0 per personal MS-DOS$fCorrado Ermacora
210   $aMilano$cMcGraw-Hill Libri Italia,copyr. 1990
215   $a65 p.$cill. 15 cm$e2 floppy disk
610 1 $aipertesto
676   $a005754$9Basi di dati reticolari
700  1$aErmacora,$bCorrado$0632063
801   $aSistema bibliotecario di Ateneo dell' Universitŕ di Salerno$gRICA
912   $a990000254790203316
951   $a005.754 ERM$b0014120$c005.754$d00106537
959   $aBK
969   $aSCI
979   $c19930318
979   $c20001110$lUSA01$h1715
979   $aALANDI$b90$c20010327$lUSA01$h1309
979   $c20020403$lUSA01$h1633
979   $aPATRY$b90$c20040406$lUSA01$h1618
996   $aHyperidea$91202133
997   $aUNISA

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