>> Google Books
所蔵情報QRコード

Intuitionism : An introduction / [By] A. Heyting

版:
3rd rev. ed
資料種別:
図書
出版情報:
Amsterdam : North-Holland, 1971
形態:
viii, 145 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
Heyting, A. (Arend), 1898- <DA00234624>  
ISBN:
9780720422399 [0720422396]
書誌ID:
BA04019897
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻
Intuitionism : An introduction. 2nd rev. ed.
A. Heyting , North-Holland Pub. Co. , 1966
Intuitionism : an introduction
A. Heyting , North-Holland Publishing Co , 1956

類似資料:

1 図書 Intuitionism : An introduction

Heyting, A. (Arend), 1898-

North-Holland Pub. Co.
7 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898-

North-Holland Publishing Co.
2 図書 Intuitionism : an introduction

Heyting, Arend

North-Holland Publishing Co
8 図書 Philosophy and foundations of mathematics

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Heyting, A. (Arend), 1898-

North-Holland Pub. Co., American Elsevier Pub. Co.
3 図書 Les fondements des mathématiques : intuitionnisme théorie de la démonstration

Heyting, A. (Arend), 1898-

Gauthier-Villars, Nauwelaerts
9 図書 Collected works (1 ; 2)

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Heyting, A. (Arend), 1898-

North-Holland Pub. Co., American Elsevier Pub. Co.
4 図書 Brouwer's Cambridge lectures on intuitionism

Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Dalen, D. van (Dirk), 1932-

Cambridge University Press
10 図書 Mathematical intuitionism : introduction to proof theory

Dragalin, Alʹbert Grigorʹevich

American Mathematical Society
5 図書 Constructivism in mathematics : an introduction (v. 1 ; v. 1:pbk. ; v. 2)

Troelstra, A. S. (Anne Sjerp), Dalen, D. van (Dirk), 1932-, Heyting, A. (Arend), 1898-

North-Holland
11 図書 Proof methods for modal and intuitionistic logics

Fitting, Melvin Chris

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
6 図書 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
12 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions

Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932-

North-Holland Pub. Co.
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12