TY - DATA AU - Anne S. Troelstra TI - Metamathematical Investigation of Intuitionistic Arithmetic and Analysis T2 - Lecture Notes in Mathematics SN - 9783540378068 PY - 1973/// CY - Heidelberg PB - Springer Berlin KW - Mathematics and Statistics UR - https://doi.org/10.1007/BFb0066739 ER -