- Tytuł pełny:
- Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
- Współtwórcy:
- Troelstra, Anne Sjerp. Redaktor
- Wydawca:
- Berlin : Springer-Verlag
- Rok wydania:
- 1973
- Seria:
- Lecture Notes in Mathematics ; 344
- Zawartość serii:
- Lecture Notes in Mathematics 0075-8434 344
- Opis fizyczny:
- XVII, 485 s. : rys., wykr. ; 24 cm
- ISBN:
- 3540064915
0387064915 - Uwagi:
- Bibliogr. s. [462]-475
Indeks
Dostępne również w formie elektronicznej - Temat:
- Teoria dowodu.
Teoria modeli.
Intuicjonizm matematyczny. - Książka