Blank Cover Image
所蔵情報QRコード

Intuitionism : an introduction / A. Heyting

資料種別:
図書
出版情報:
Amsterdam : North-Holland Publishing Co, 1956
形態:
vii, 132 p. ; 22 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
Heyting, Arend  
書誌ID:
BA19016906
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Intuitionism : An introduction

Heyting, A. (Arend), 1898-

North-Holland
7 図書 Introduction to the theory of finite automata

Kobrinskiĭ, Natan Efimovich, Trakhtenbrot, B. A. (Boris Avraamovich), Shepherdson, J. C.

North-Holland
2 図書 Intuitionism : An introduction

Heyting, A. (Arend), 1898-

North-Holland Pub. Co.
8 図書 An introduction to mathematical thought

Stabler, E. R.

Addison-Wesley
3 図書 Les fondements des mathématiques : intuitionnisme théorie de la démonstration

Heyting, A. (Arend), 1898-

Gauthier-Villars, Nauwelaerts
9 図書 Introduction to mathematical thinking : the formation of concepts in modern mathematics

Waismann, Friedrich, Menger, Karl, 1902-

Harper
4 図書 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
10 図書 Symbolic logic and the real number system : an introduction to the foundations of number systems

Lightstone, A. H.

Harper & Row, Weatherhill
5 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
11 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

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

North-Holland Publishing Co.
6 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
12 図書 Mathematical intuitionism : introduction to proof theory

Dragalin, Alʹbert Grigorʹevich

American Mathematical Society
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12