>> Google Books
タイトル、所在を表示します

Constructivism in mathematics : an introduction

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proof theory, constructive mathematics

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

Springer-Verlag
7 図書 Varieties of constructive mathematics

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

Cambridge University Press
2 図書 Choice sequences : a chapter of intuitionistic mathematics

Troelstra, A. S. (Anne Sjerp)

Clarendon Press
8 図書 Handbook of constructive mathematics

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

Cambridge University Press
3 図書 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
9 図書 Basic proof theory

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

Cambridge University Press
4 図書 Lectures on linear logic

Troelstra, A. S. (Anne Sjerp)

Center for the Study of Language and Information
10 図書 Basic proof theory

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

Cambridge University Press
5 図書 Metamathematical investigation of intuitionistic arithmetic and analysis

Troelstra, A. S. (Anne Sjerp)

Springer
11 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer-Verlag
6 図書 Intuitionism : An introduction

Heyting, A. (Arend), 1898-

North-Holland
12 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer