Intuitionism and proof theory : proceedings /

Intuitionism and proof theory : proceedings /

41

Bibliographic Details
Main Authors: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), Kino, A., Myhill, J., Vesley, R. E.
Format:
Published: Amsterdam : North-Holland Pub., 1970
Subjects:
Intuitionistic mathematics
Proof theory
Logic, Symbolic and mathematical

Similar Items