Mathematical Logic
292,00 zł305,00 zł-4%
Obecnie niedostępnyPodaj swój adres e-mail, a powiadomimy Cię, gdy książka znów będzie dostępna, zwykle w ciągu 3-4 tygodni.
14 dni na zwrotZmieniłeś zdanie? Możesz anulować zamówienie w dowolnym momencie lub zwrócić je w ciągu 14 dni. Zasady zwrotów
O książce
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).
| Autor | H.-D. Ebbinghaus |
|---|---|
| Wydawnictwo | Springer-Verlag New York Inc. |
| Rok wydania | 1994 m. |
| Język | Angielski |
| Liczba stron | 291 psl. |
| Format | Oprawa twarda |
| Wydanie | 2nd ed. 1994 |
| ISBN | 9780387942582 |