>> Google Books
 ↑ タイトル、所在を表示

Constructivism in mathematics : an introduction

フォーマット:
図書
責任表示:
A.S. Troelstra, D. van Dalen
出版情報:
Amsterdam ; Tokyo : North-Holland, 1988
形態:
2 v. (879 p.) ; 23 cm
ISBN:
9780444702661 [0444702660] (v. 1)  CiNii Books  Webcat Plus  Google Books
9780444705068 [0444705066] (v. 1:pbk.)  CiNii Books  Webcat Plus  Google Books
9780444703583 [0444703586] (v. 2)  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 121, 123 <BA00099329>
著者名:
書誌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
E-Resources:
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

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

Wolters-Noordhoff

Troelstra, A. S. (Anne Sjerp)

Springer

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. &hellip;

Springer-Verlag

Bridges, D. S. (Douglas S.), 1945-, Richman, Fred, 1938-

Cambridge University Press

Troelstra, A. S. (Anne Sjerp)

Clarendon Press

Bridges, D. S. (Douglas S.), 1945-, 石原, 哉 (1958-), Rathjen, Michael, Schwichtenberg, Helmut, 1942-

Cambridge University Press

L.E.J. Brouwer Centenary Symposium, Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Troelstra, A. S. (Anne Sjerp), &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science

Heyting, A. (Arend), 1898-

North-Holland Publishing Co.

Troelstra, A. S. (Anne Sjerp)

Center for the Study of Language and Information

Heyting, A. (Arend), 1898-

North-Holland Pub. Co.

12 図書 Basic proof theory

Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-

Cambridge University Press