Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Cover of the book
Tytuł książki

Finite sets and Gödel's incompleteness theorems

Seria
Rozprawy Matematyczne tom/nr w serii: 422 wydano: 2003
Zawartość
Warianty tytułu
Abstrakty
EN
We give complete proofs of the two famous incompleteness theorems of Gödel. However, instead of the usual choice of Peano Arithmetic, we take the theory of hereditarily finite sets as the basis for the presentation.
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne tom/nr w serii: 422
Liczba stron
58
Liczba rozdzia³ów
Opis fizyczny
Daty
wydano
2003
Twórcy
  • Department of Mathematics, University of Colorado, Boulder, CO 80309, U.S.A.
Bibliografia
Języki publikacji
EN
Uwagi
Identyfikator YADDA
bwmeta1.element.bwnjournal-rm-doi-10_4064-dm422-0-1
Identyfikatory
DOI
10.4064/dm422-0-1
Kolekcja
DML-PL
Zawartość książki

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.