- Tytuł pełny:
- Proof theory and intuitionistic systems / Bruno Scarpellini
- Autorzy:
- Scarpellini, Bruno
- Wydawca:
- Berlin [etc.] : Springer-Verlag
- Rok wydania:
- 1971
- Seria:
- Lecture Notes in Mathematics : a collection of informal reports and seminars ; 212
- Zawartość serii:
- Lecture Notes in Mathematics 0075-8434 212
- Opis fizyczny:
- VII, 290, [1] s. : il. ; 26 cm
- ISBN:
- 354005541X
038705541X - Uwagi:
- Bibliogr. s. [291]
Dostępne również w formie elektronicznej - Temat:
- Teoria dowodu.
Intuicjonizm matematyczny. - Książka