LEADER 04066nam  22013095  450 
001 9910154742203321
005 20190708092533.0
010   $a1-4008-8236-2
024 7 $a10.1515/9781400882366
035   $a(CKB)3710000000631400
035   $a(MiAaPQ)EBC4738711
035   $a(DE-B1597)468041
035   $a(OCoLC)979836510
035   $a(DE-B1597)9781400882366
035   $a(EXLCZ)993710000000631400
100   $a20190708d2016      fg              
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 14$aThe Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /$fEmil L. Post
210  1$aPrinceton, NJ : $cPrinceton University Press, $d[2016]
210  4$dİ1942
215   $a1 online resource (133 pages) $cillustrations
225 0 $aAnnals of Mathematics Studies ;$v347
300   $aLithoprinted.
311   $a0-691-09570-1 
320   $aIncludes bibliographical references.
327   $tFrontmatter -- $tCONTENTS -- $tINTRODUCTION -- $tPart I. PRELIMINARIES -- $tPART II. DERIVATION OP CLOSED SYSTEMS -- $tPART III. CO-ORDINATION AND APPLICATION -- $tBIBLIOGRAPHY
330   $aThe description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.
410  0$aAnnals of mathematics studies ;$vno. 5.
606   $aLogic, Symbolic and mathematical
610   $a0Q.
610   $a1J.
610   $aAbstract structure.
610   $aAddition.
610   $aAntiderivative.
610   $aArgument of a function.
610   $aAxiom.
610   $aBig O notation.
610   $aBijection.
610   $aBoolean algebra (structure).
610   $aCalculation.
610   $aCardinal number.
610   $aClassical mathematics.
610   $aConjecture.
610   $aContradiction.
610   $aCountable set.
610   $aDiagram (category theory).
610   $aDimension.
610   $aDirect proof.
610   $aDuality (mathematics).
610   $aDuality (optimization).
610   $aExistential quantification.
610   $aFinite group.
610   $aFinite set.
610   $aFloor and ceiling functions.
610   $aFunction (mathematics).
610   $aInequality (mathematics).
610   $aInverse problem.
610   $aIteration.
610   $aJoin and meet.
610   $aK-function.
610   $aLattice (order).
610   $aLinear differential equation.
610   $aLogic.
610   $aLogical conjunction.
610   $aLogical disjunction.
610   $aMathematical induction.
610   $aMathematical logic.
610   $aMembership function (mathematics).
610   $aMorphism.
610   $aMutual exclusivity.
610   $aNegation.
610   $aNotation.
610   $aNull set.
610   $aOswald Veblen.
610   $aParameter.
610   $aParity (mathematics).
610   $aPolynomial.
610   $aPrincipia Mathematica.
610   $aProjective geometry.
610   $aPropositional calculus.
610   $aPropositional variable.
610   $aRequirement.
610   $aScientific notation.
610   $aSequence.
610   $aStatistical hypothesis testing.
610   $aSubgroup.
610   $aSubset.
610   $aSuggestion.
610   $aSummation.
610   $aSystem T.
610   $aThe Principles of Mathematics.
610   $aTheorem.
610   $aTransfinite number.
610   $aTransfinite.
610   $aTruth table.
610   $aUncountable set.
610   $aUniqueness.
610   $aVariable (mathematics).
610   $aVenn diagram.
615  0$aLogic, Symbolic and mathematical.
676   $a164
700   $aPost$b Emil L., $058265
801  0$bDE-B1597
801  1$bDE-B1597
906   $aBOOK
912   $a9910154742203321
996   $aThe Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5$92786532
997   $aUNINA