- Tytuł pełny:
- The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
- Wydawca:
- Amsterdam : North-Holland Pub. Co
- Rok wydania:
- 1965
- Seria:
- Studies in Logic and the Foundations of Mathematics
- Temat:
- Funkcje rekursywne.
Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.
Książka