Buch
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
The Two-Valued Iterative Systems of Mathematical Logic
-
Emil L. Post
Sprache:
Englisch
Veröffentlicht/Copyright:
1942
Über dieses Buch
A classic treatment of two-valued iterative systems of mathematical logic from the acclaimed Annals of Mathematics Studies series
Princeton 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.
Fachgebiete
Öffentlich zugänglich PDF downloaden |
i |
Öffentlich zugänglich PDF downloaden |
vi |
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
1 |
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
10 |
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
43 |
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
96 |
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
119 |
Informationen zur Veröffentlichung
Seiten und Bilder/Illustrationen im Buch
eBook veröffentlicht am:
2. März 2016
eBook ISBN:
9781400882366
Seiten und Bilder/Illustrationen im Buch
Inhalt:
122
eBook ISBN:
9781400882366
Schlagwörter für dieses Buch
Subset; Variable (mathematics); Membership function (mathematics); Truth table; Diagram (category theory); Propositional calculus; Function (mathematics); Summation; Mathematical induction; Duality (mathematics); Principia Mathematica; Parity (mathematics); Boolean algebra (structure); The Principles of Mathematics; Mathematical logic; Linear differential equation; Duality (optimization); K-function; Inequality (mathematics); Classical mathematics; Argument of a function; Finite set; Logical disjunction; Axiom; Bijection; Logical conjunction; Polynomial; Antiderivative; Lattice (order); Addition; Calculation; Existential quantification; Big O notation; Transfinite; Scientific notation; Transfinite number; Inverse problem; Join and meet; Null set; Propositional variable; Cardinal number; Negation; Logic; Notation; Floor and ceiling functions; Theorem; Sequence; Subgroup; Direct proof; Statistical hypothesis testing; Mutual exclusivity; System T; Morphism; Venn diagram; Countable set; Uncountable set; Finite group; Abstract structure; Iteration; Dimension; Requirement; Contradiction; 0Q; Oswald Veblen; Projective geometry; Suggestion; Parameter; Uniqueness; Conjecture; 1J
Zielgruppe(n) für dieses Buch
College/higher education;Professional and scholarly;