04066nam 22013095 450 991015474220332120190708092533.01-4008-8236-210.1515/9781400882366(CKB)3710000000631400(MiAaPQ)EBC4738711(DE-B1597)468041(OCoLC)979836510(DE-B1597)9781400882366(EXLCZ)99371000000063140020190708d2016 fg engurcnu||||||||rdacontentrdamediardacarrierThe Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 /Emil L. PostPrinceton, NJ : Princeton University Press, [2016]©19421 online resource (133 pages) illustrationsAnnals of Mathematics Studies ;347Lithoprinted.0-691-09570-1 Includes bibliographical references.Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHYThe description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming.Annals of mathematics studies ;no. 5.Logic, Symbolic and mathematical0Q.1J.Abstract structure.Addition.Antiderivative.Argument of a function.Axiom.Big O notation.Bijection.Boolean algebra (structure).Calculation.Cardinal number.Classical mathematics.Conjecture.Contradiction.Countable set.Diagram (category theory).Dimension.Direct proof.Duality (mathematics).Duality (optimization).Existential quantification.Finite group.Finite set.Floor and ceiling functions.Function (mathematics).Inequality (mathematics).Inverse problem.Iteration.Join and meet.K-function.Lattice (order).Linear differential equation.Logic.Logical conjunction.Logical disjunction.Mathematical induction.Mathematical logic.Membership function (mathematics).Morphism.Mutual exclusivity.Negation.Notation.Null set.Oswald Veblen.Parameter.Parity (mathematics).Polynomial.Principia Mathematica.Projective geometry.Propositional calculus.Propositional variable.Requirement.Scientific notation.Sequence.Statistical hypothesis testing.Subgroup.Subset.Suggestion.Summation.System T.The Principles of Mathematics.Theorem.Transfinite number.Transfinite.Truth table.Uncountable set.Uniqueness.Variable (mathematics).Venn diagram.Logic, Symbolic and mathematical.164Post Emil L., 58265DE-B1597DE-B1597BOOK9910154742203321The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 52786532UNINA