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

Varieties of constructive mathematics

フォーマット:
図書
責任表示:
Douglas Bridges, Fred Richman
言語:
英語
出版情報:
Cambridge : Cambridge University Press, 1987
形態:
x, 149 p. ; 23 cm
著者名:
シリーズ名:
London Mathematical Society lecture note series ; 97 <BA0005393X>
書誌ID:
BA00530653
ISBN:
9780521318020 [0521318025]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Handbook of constructive mathematics

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

Cambridge University Press
7 図書 A course in constructive algebra

Mines, Ray, Richman, Fred, 1938-, Ruitenburg, Wim

Springer-Verlag
2 図書 Constructive functional analysis

Bridges, D. S. (Douglas S.), 1945-

Pitman
8 図書 Techniques of constructive analysis

Bridges, D. S. (Douglas S.), 1945-, Vîţă, Luminiţa Simona

Springer
3 図書 Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980

Richman, Fred, 1938-

Springer-Verlag
9 図書 Computability : a mathematical sketchbook

Bridges, D. S. (Douglas S.), 1945-

Springer-Verlag
4 図書 Constructivism in mathematics : an introduction

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

North-Holland
10 図書 Constructive measure theory

Bishop, Errett, 1928-1983, Cheng, Henry

American Mathematical Society
5 図書 Lectures on constructive mathematical analysis

Kushner, B. A. (Boris Abramovich), Mendelson, E., Leĭfman, L. I︠A︡. (Lev I︠A︡kovlevich)

American Mathematical Society
11 図書 Foundations of constructive probability theory

Chan, Yuen-Kwok

Cambridge University Press
6 図書 Constructive analysis

Bishop, Errett, 1928-1983, Bridges, D. S. (Douglas S.), 1945-

Springer-Verlag
12 図書 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