Constructivism in mathematics : an introduction

>> Google Books

所蔵情報QRコード

Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen

資料種別:

図書

出版情報:

Amsterdam ; Tokyo : North-Holland, 1988

形態:

2 v. (879 p.) ; 23 cm

シリーズ名:

Studies in logic and the foundations of mathematics ; v. 121, 123 <BA00099329>

著者名:

ISBN:

9780444702661 [0444702660] (v. 1)
9780444705068 [0444705066] (v. 1:pbk.)
9780444703583 [0444703586] (v. 2)

書誌ID:

BA04222041

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	"This book is dedicated to the memory of our teacher Arend Heyting"--P. iii of v. 2 Bibliography: v. 1, p. [327]-342; v. 2, p. 853-879 Includes indexes
主題:	Constructive mathematics
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 Proof theory, constructive mathematics (: Germany ; : U.S.) Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. … Springer-Verlag	7 図書 Intuitionism : An introduction Heyting, A. (Arend), 1898- North-Holland Pub. Co.
2 図書 The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 L.E.J. Brouwer Centenary Symposium, Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Troelstra, A. S. (Anne Sjerp), … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science	8 図書 Intuitionism : an introduction Heyting, Arend North-Holland Publishing Co
3 図書 Constructibility and mathematical existence (: pbk) Chihara, Charles S., 1932- Clarendon Press, Oxford University Press	9 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- Springer-Verlag
4 図書 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. (Anne Sjerp) Springer-Verlag	10 図書 Logic and structure (: gw ; : us) Dalen, D. van (Dirk), 1932- Springer-Verlag
5 図書 Metamathematical investigation of intuitionistic arithmetic and analysis (: u.s. ; : gw) Troelstra, A. S. (Anne Sjerp) Springer	11 図書 Logic and structure (: us:pbk. ; : gw) Dalen, D. van (Dirk), 1932- Springer-Verlag
6 図書 Intuitionism : An introduction Heyting, A. (Arend), 1898- North-Holland	12 図書 Logic and structure (: pbk) Dalen, D. van (Dirk), 1932- Springer

1

2

3

4

5

6

7

8

9

10

11

12