Buch
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Theory of Formal Systems
-
Raymond M. Smullyan
Sprache:
Englisch
Veröffentlicht/Copyright:
1961
Über dieses Buch
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
Fachgebiete
|
Öffentlich zugänglich PDF downloaden |
i |
|
Öffentlich zugänglich PDF downloaden |
iii |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
vii |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
xiv |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
1 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
19 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
39 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
65 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
93 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
127 |
|
Erfordert eine Authentifizierung Nicht lizenziert Lizenziert PDF downloaden |
141 |
Informationen zur Veröffentlichung
Seiten und Bilder/Illustrationen im Buch
eBook veröffentlicht am:
2. März 2016
eBook ISBN:
9781400882007
Seiten und Bilder/Illustrationen im Buch
Inhalt:
156
eBook ISBN:
9781400882007
Schlagwörter für dieses Buch
Theorem; Predicate (mathematical logic); Axiom; Recursive set; Quantifier (logic); Existential quantification; Recursively enumerable set; Subset; Gödel numbering; Set (mathematics); Complement (set theory); Characterization (mathematics); Variable (mathematics); Herbrand's theorem; Sign (mathematics); Mathematical induction; Axiomatic system; Decidability (logic); Order theory; System U; Natural number; Inference; Axiom schema; Rule of inference; Cantor's diagonal argument; Closure (mathematics); Gödel's incompleteness theorems; Concatenation theory; Transfinite number; Mathematical logic; Number theory; Zermelo set theory; Peano axioms; Cartesian product; Parity (mathematics); Equation; Special case; Axiom A; Definable set; Turing machine; Direct proof; Theory; Primitive recursive function; Sequence; Logical connective; Prenex normal form; Modus ponens; Arithmetic function; Scientific notation; Enumeration; Formal system; Universal set; Functional calculus; Mathematics; Metamathematics; Counterexample; Corollary; Diagonalization; Validity; Arithmetic; Atomic sentence; Decision problem; Disjoint sets; Logical consequence; Chinese remainder theorem; Combination; Binary relation; Exponential function; Recursion; Negation
Zielgruppe(n) für dieses Buch
College/higher education;Professional and scholarly;
