Author

A S. Troelstra

2 titles available
Cover of Metamathematical investigation of intuitionistic arithmetic and analysis by A S. Troelstra

Metamathematical investigation of intuitionistic arithmetic and analysis

Mathematical investigation of intuitionistic arithmetic and analysis

About A S. Troelstra

Free ebooks by A S. Troelstra available for download.