Metamathematical investigation of intuitionistic arithmetic and analysis /
Metamathematical investigation of intuitionistic arithmetic and analysis /
edited by A.S. Troelstra .
- Berlin : Springer-Verlag, 1973.
- xvii, 485 p. :
3540064915
Intuitionistic mathematics.
511.22 / Me
3540064915
Intuitionistic mathematics.
511.22 / Me