| Autore: |
Post Emil L.
|
| Titolo: |
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
|
| Pubblicazione: |
Princeton, NJ : , : Princeton University Press, , [2016] |
| |
©1942 |
| Descrizione fisica: |
1 online resource (133 pages) : illustrations |
| Disciplina: |
164 |
| Soggetto topico: |
Logic, Symbolic and mathematical |
| Soggetto non controllato: |
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. |
| |
The Principles of Mathematics |
| |
Theorem |
| |
Transfinite number |
| |
Transfinite |
| |
Truth table |
| |
Uncountable set |
| |
Uniqueness |
| |
Variable (mathematics) |
| |
Venn diagram |
| Note generali: |
Lithoprinted. |
| Nota di bibliografia: |
Includes bibliographical references. |
| Nota di contenuto: |
Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY
|
| Sommario/riassunto: |
The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming. |
| Titolo autorizzato: |
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 |
|
| ISBN: |
1-4008-8236-2 |
| Formato: |
Materiale a stampa  |
| Livello bibliografico |
Monografia |
| Lingua di pubblicazione: |
Inglese |
| Record Nr.: | 9910154742203321 |
|
| Lo trovi qui: | Univ. Federico II |
| Opac: |
Controlla la disponibilità qui |
