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 01514nam  2200361   450 
001 9910716806503321
005 20211020153529.0
035   $a(CKB)5470000002526125
035   $a(OCoLC)1277512205
035   $a(EXLCZ)995470000002526125
100   $a20211020d1969      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aOversight of oil development activities in Alaska $ehearing before the special Subcommittee on Legislative Oversight of the Committee on Interior and Insular Affairs, United States Senate, Ninety-first Congress, first session, on the Department of the Interior's manpower and funding requirements and capability to oversee oil resource development activities on public lands in Alaska, August 12, 1969
210  1$aWashington :$cU.S. Government Printing Office,$d1969.
215   $a1 online resource (iii, 32 pages)
517   $aOversight of oil development activities in Alaska 
606   $aPetroleum industry and trade$zAlaska
606   $aPublic lands$zAlaska
606   $aNatural resources$xLaw and legislation$zAlaska
608   $aLegislative hearings.$2lcgft
615  0$aPetroleum industry and trade
615  0$aPublic lands
615  0$aNatural resources$xLaw and legislation
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910716806503321
996   $aOversight of oil development activities in Alaska$93436277
997   $aUNINA