Blank Cover Image
タイトル、所在を表示します

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

フォーマット:
図書
責任表示:
edited by A. Heyting
言語:
英語; ドイツ語
出版情報:
Amsterdam : North-Holland Publishing Co., 1959
形態:
viii, 297 p. ; 23 cm
著者名:
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
書誌ID:
BA0824254X
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent

Springer
7 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938-

Springer-Verlag
2 図書 Proceedings of the International Congress of Mathematicians, 1954 : Amsterdam, September 2-September 9

International Congress of Mathematicians, Gerretsen, Johan C. H., Groot, Johannes de

Kraus Reprint
8 図書 Mathematics and the real world : proceedings of an international workshop, Roskilde University Centre (Denmark) 1978

Booss, Bernhelm, 1941-, Niss, Mogens, 1944-, Dansk matematisk forening

Birkhäuser
3 図書 Proceedings of the International Mathematical Conference, Singapore, 1981

International Mathematical Conference, Chen, Louis H. Y. (Louis Hsiao Yun), 1940-, Ng, Tze Beng, 1949-, Wicks, M. J. &hellip;

North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
9 図書 The Legacy of Sonya Kovalevskaya : proceedings of a symposium sponsored by the Association for Women in Mathematics and the Mary Ingraham Bunting Institute, …

Kovalevskai︠a︡, S. V. (Sofʹi︠a︡ Vasilʹevna), 1850-1891, Keen, Linda, Association for Women in Mathematics &hellip;

American Mathematical Society
4 図書 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott

North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
10 図書 Stochastic processes, mathematics and physics II : proceedings of the 2nd BiBoS Symposium, held in Bielefeld, West Germany, April 15-19, 1985

BiBoS-Symposium, Albeverio, Sergio, 1939-, Blanchard, Philippe, 1942-, Streit, Ludwig, 1938-, Bielefeld-Bochum Research &hellip;

Springer-Verlag
5 図書 Dynamics and processes : proceedings of the Third Encounter in Mathematics and Physics, held in Bielefeld, Germany, Nov. 30- Dec. 4, 1981

Bielefeld Encounters in Mathematics and Physics, Streit, Ludwig, 1938-, Universität Bielefeld. Zentrum für &hellip;

Springer
11 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987

篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications

Springer-Verlag
6 図書 Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

Logic Colloquium, Paris, J. B., Wilkie, A. J. (Alec J.), Wilmers, G. M.

North-Holland
12 図書 Trends in applications of pure mathematics to mechanics : proceedings of the Sixth Symposium on Trends in Applications of Pure Mathematics to Mechanics, held at …

Symposium on Trends in Applications of Mathematics to Mechanics, Kröner, Ekkehart, 1919-, Kirchgässner, Klaus, 1931-

Springer-Verlag