著者典拠情報

著者標目形：
Troelstra, A. S. (Anne Sjerp)
属性：
Personal
から見よ参照形：
Troelstra, Anne Sjerp
Troelstra, Anne S
注記：
Her Intuitionistic general topology, 1966
L.E.J Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands). The L.E.J. Brouwer ... 1982: t.p. (A. S. Troelstra, Univ. van Amsterdam)
著者典拠ID：
DA00234679


1.

図書
図書
1. Basic proof theory (: hardback)
A.S. Troelstra, H. Schwichtenberg
出版情報: Cambridge ; New York : Cambridge University Press, 1996
シリーズ名: Cambridge tracts in theoretical computer science ; 43
所蔵情報: 図書館
2.

図書
図書
2. Lectures on linear logic (: [hard] ; : pbk)
A.S. Troelstra
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 29
所蔵情報: 図書館
3.

図書
図書
3. Constructivism in mathematics : an introduction (v. 1 ; v. 1:pbk. ; v. 2)
A.S. Troelstra, D. van Dalen
出版情報: Amsterdam ; Tokyo : North-Holland, 1988
シリーズ名: Studies in logic and the foundations of mathematics ; v. 121, 123
所蔵情報: 図書館
4.

図書
図書
4. Metamathematical investigation of intuitionistic arithmetic and analysis (: u.s. ; : gw)
A.S. Troelstra (ed.)
出版情報: Berlin : Springer, 1973
シリーズ名: Lecture notes in mathematics ; 344
所蔵情報: 図書館
5.

図書
図書
5. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
A. S. Troelstra
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, 1969
シリーズ名: Lecture notes in mathematics ; 95
所蔵情報: 図書館