Theory of Formal Systems. (AM-47), Volume 47 (Web PDF) von Raymond M. Smullyan
 |
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
ISBN-13:
9781400882007
Veröffentl:
2016
Einband:
Web PDF
Seiten:
156
Autor:
Raymond M. Smullyan
Serie:
47, Annals of Mathematics Studies
eBook Format:
PDF
eBook-Typ:
Reflowable Web PDF
Kopierschutz:
Adobe DRM [Hard-DRM]
Sprache:
Englisch
Schlagwörter zu:
Theory of Formal Systems. (AM-47), Volume 47 von Raymond M. Smullyan - mit der ISBN: 9781400882007
Arithmetic; Arithmetic function; Atomic sentence; Axiom; Axiom A; Axiom schema; Axiomatic system; Binary relation; Cantor's diagonal argument; Cartesian product; Characterization (mathematics); Chinese remainder theorem; Closure (mathematics); Combination; Complement (set theory); Concatenation theory; Corollary; Counterexample; Decidability (logic); Decision problem; Definable set; Diagonalization; Direct proof; Disjoint sets; Enumeration; Equation; Existential quantification; Exponential funct, Online-Buchhandlung
Kunden Rezensionen: Theory of Formal Systems. (AM-47), Volume 47 | Buch oder eBook | Raymond M. Smullyan
Kunden, die sich für: "Theory of Formal Systems. (AM-47), Volume 47" von Raymond M. Smullyan als Buch oder eBook
interessiert haben, schauten sich auch die folgenden Bücher & eBooks an: