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

Predicative arithmetic

フォーマット:
図書
責任表示:
by Edward Nelson
出版情報:
Princeton, N.J. : Princeton University Press, 1986
形態:
viii, 189 p. ; 24 cm
ISBN:
9780691084558 [0691084556]  CiNii Books  Webcat Plus  Google Books
シリーズ名:
Mathematical notes ; 32 <BA00428792>
著者名:
Nelson, Edward, 1932- <DA0087393X>  
書誌ID:
BA00445601
注記:
Bibliography: p. 181-182
Includes indexes
E-Resources:
子書誌情報
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 図書 Fundamental concepts of elementary mathematics

Brumfiel, Charles Francis, 1914-, Eicholz, Robert E., Shanks, Merrill, 1911-

Addison-Wesley Publishing
2 図書 College arithmetic

Bryant, Steven Jerome, 1923-, Nower, Leon, Saltz, Daniel

Glencoe Press
8 図書 Fundamental concepts of elementary mathematics

Brumfiel, Charles Francis, 1914-, Eicholz, Robert E., Shanks, Merrill, 1911-

Addison-Wesley Pub. Co.
3 図書 Constructivism in mathematics : an introduction

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

North-Holland
9 図書 Five papers on logic and foundations

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

American Mathematical Society
4 図書 Tensor analysis

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
10 図書 Studies in constructive mathematics and mathematical logic

Slisenko, A. O.

Consultants Bureau
5 図書 Quantum fluctuations

Nelson, Edward, 1932-

Princeton University Press
11 図書 Fine structure and iteration trees

Mitchell, William J. (William John), 1944-, Steel, John R., 1948-

Springer-Verlag
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