The Two-Valued Iterative Systems of Mathematical Logic (eBook)

Emil L. Post (Autor)

eBook Download: PDF

2016
122 Seiten
Princeton University Press (Verlag)
978-1-4008-8236-6 (ISBN)

Infos

A classic treatment of two-valued iterative systems of mathematical logic from the acclaimed Annals of Mathematics Studies seriesPrinceton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century.To mark the continued success of the series, all books are available in paperback and as ebooks.

Produkt-Details

• Erscheint lt. Verlag: 2.3.2016
• Reihe/Serie: Annals of Mathematics Studies
• Reihe/Serie: Annals of Mathematics Studies
• Verlagsort: Princeton
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: 0Q • 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 • Theorem • The Principles of Mathematics • transfinite • Transfinite number • truth table • Uncountable set • uniqueness • Variable (mathematics) • venn diagram
• ISBN-10: 1-4008-8236-2 / 1400882362
• ISBN-13: 978-1-4008-8236-6 / 9781400882366