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

Predicative arithmetic

フォーマット:
図書
責任表示:
by Edward Nelson
言語:
英語
出版情報:
Princeton, N.J. : Princeton University Press, 1986
形態:
viii, 189 p. ; 24 cm
著者名:
Nelson, Edward, 1932- <DA0087393X>  
シリーズ名:
Mathematical notes ; 32 <BA00428792>
書誌ID:
BA00445601
ISBN:
9780691084558 [0691084556]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

Peirce, Charles S. (Charles Sanders), 1839-1914, Eisele, Carolyn

Mouton Publishers, Humanities Press
7 図書 Dynamical theories of Brownian motion

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
2 図書 Bounded arithmetic, propositional logic, and complexity theory

Krajíček, Jan

Cambridge University Press
8 図書 Five papers on logic and foundations

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

American Mathematical Society
3 図書 Constructivism in mathematics : an introduction

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

North-Holland
9 図書 Constructive measure theory

Bishop, Errett, 1928-1983, Cheng, Henry

American Mathematical Society
4 図書 Flows

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
10 図書 Lectures on constructive mathematical analysis

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

American Mathematical Society
5 図書 Tensor analysis

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
11 図書 Constructive functional analysis

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

Pitman
6 図書 Radically elementary probability theory

Nelson, Edward, 1932-

Princeton University Press
12 図書 Varieties of constructive mathematics

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

Cambridge University Press