MPG.eBooks - Author Search Results

Cover Image

1

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

by Troelstra, A.
Published 1973

Springer

Cover Image

2

Constructivism in mathematics, Volume 1 : an introduction

by Troelstra, A. S.
Published 1988

North-Holland

Cover Image

3

The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

by Brouwer, L. E. J.
Published 1982

North-Holland Pub. Co.

Other Authors: “...Troelstra, A. S....”