タイトル |
著作者等 |
出版元 |
刊行年月 |
Basic proof theory
|
A.S. Troelstra, H. Schwichtenberg |
Cambridge University Press
|
2000 |
Basic proof theory
|
A.S. Troelstra, H. Schwichtenberg |
Cambridge University Press
|
1996 |
Metamathematical investigation of intuitionistic arithmetic and analysis
|
A.S. Troelstra (ed.) |
Institute for Logic, Language and Computation
|
1993 |
Metamathematical investigation of intuitionistic arithmetic and analysis
|
A.S. Troelstra (ed.) |
Institute for Logic, Language and Computation
University of Amsterdam
|
1993 |
Lectures on linear logic
|
A.S. Troelstra |
Center for the Study of Language and Information
|
c1992 |
Constructivism in mathematics : an introduction
|
A.S. Troelstra, D. van Dalen |
AMAZON
|
c1988 |
Constructivism in mathematics : an introduction
|
A.S. Troelstra, D. van Dalen |
North-Holland
|
1988 |
Proof theory, constructive mathematics
|
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors) |
Springer-Verlag
|
c1987 |
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
|
edited by A.S. Troelstra and D. van Dalen |
North-Holland
Sole distributors for the U.S.A. and Canada, Elsevier Science
|
1982 |