Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

By clibrary on Mon, 06/23/2025 - 20:02
Author

A. S. Troelstra

Publisher

Springer

Subject

Mathematics

Year

1973

Vol/Edition

344

ISBN

9783540378068

URL
http://dx.doi.org/10.1007/BFb0066739