Blank Cover Image
このページのQRコード

Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957

種類:
図書
責任表示:
edited by A. Heyting
出版情報:
Amsterdam : North-Holland Publishing Co., 1959
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
注記:
"This volume contains the lectures, held at the International Colloquium "Constructivity in Mathematics" -- Pref
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The axiomatic method with special reference to geometry and physics : proceedings of an International Symposium held at the Univ. of California, Berkeley, …

Henkin, Leon, Suppes, Patrick, 1922-, Tarski, Alfred, 1902-

North-Holland Publishing Co.
7 図書 Mathematical analysis

Rassias, John Michael

Teubner
2 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
8 図書 The principles of mathematics

Russell, Bertrand, 1872-1970

Norton
3 図書 Axiomatic projective geometry

Heyting, A. (Arend), 1898-

P. Noordhoff, Sole distribution for U.S.A., Interscience Publishers, a division of John Wiley & Sons
9 図書 The mathematics of metamathematics

Rasiowa, Helena, Sikorski, Roman

PWN-Polish Scientific Publishers
4 図書 Constructivism in mathematics : an introduction

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

North-Holland
10 図書 MATHEMATICAL LOGIC.

BRAZILIAN CONFERENCE ON MATHEMATICAL LOGIC, 1ST, 1977
5 図書 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.
11 図書 Mathematical logic

Quine, W. V. (Willard Van Orman), 1908-

Harvard University Press
6 図書 Proceedings of the Amsterdam International Conference on Elementary Particles : held at Amsterdam, The Netherlands, June 30 - July 6, 1971

International Conference on Elementary Particles, Tenner, A. G., Veltman, M., Universiteit van Amsterdam

North-Holland Pub. Co.
12 図書 The mathematics of metamathematics

Rasiowa, Helena, Sikorski, Roman

Państwowe Wydawnictwo Naukowe