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

Varieties of constructive mathematics

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

類似資料:

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

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

Pitman

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

Springer-Verlag

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

Springer-Verlag

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

North-Holland

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

Springer-Verlag

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

American Mathematical Society

T︠S︡eĭtin, G. S.

American Mathematical Society

Slisenko, A. O.

Consultants Bureau

Enss, V., Grigorieff, R. D., 1938-, White, D. J. (Douglas John)

Heldermann

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

Springer-Verlag

Jones, D. S. (Douglas Samuel), Sleeman, Brian D., 1939-

Allen & Unwin