Conte aos seus amigos sobre este item:
Mathematical Logic - Undergraduate Texts in Mathematics H.-D. Ebbinghaus Second Edition 1994 edition
Mathematical Logic - Undergraduate Texts in Mathematics
H.-D. Ebbinghaus
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
301 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 10 de junho de 1994 |
| ISBN13 | 9780387942582 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 291 |
| Dimensões | 166 × 241 × 21 mm · 596 g |
| Idioma | Inglês |