The foundations of intuitionistic mathematics, especially in relation to recursive functions /

41

Bibliographic Details
Main Author: 308908 Kleene, Stephen Cole
Format:
Published: Amsterdam : North Holland, 1965
Subjects: