Troelstra, A. S. (Anne Sjerp)

ID:DA00234679

別名: Troelstra, Anne Sjerp

Troelstra, Anne S

同姓同名の著者を検索

検索結果24件中 21-24 を表示

1
2
2 / 2

21

Computability of terms and notions of realizability for Intuitionistic analysis

A.S. Troelstra

University of Amsterdam. Mathematisch Instituut 1971 Report 71-02

所蔵館3館
22

Notes on intuitionistic second order arithmetic

A. S. Troelstra

University of Amsterdam. Mathematisch Instituut. 1971

所蔵館2館
23

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

A.S. Troelstra

Springer-Verlag 1969 Lecture notes in mathematics 95

所蔵館79館
24

Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday

Wolters-Noordhoff 1968 Compositio mathematica v. 20

所蔵館18館

1
2
2 / 2

この著者を外部サイトでさがす

関連著者

ページトップへ