Troelstra, A. S.

この人物の情報

人物別名 A. S. Troelstra

Troelstra, Anne Sjerp

Troelstra, Anne S
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
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 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
Choice sequences : a chapter of intuitionistic mathematics by A.S. Troelstra Clarendon Press
1977
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想