Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Publisher Website

1 January 1973

book
Published by Springer Nature

https://doi.org/10.1007/bfb0066739

Abstract

No abstract available

Keywords

Cited by 323 articles