>> Amazon.co.jp
このページのQRコード

Predicative arithmetic

種類:
図書
責任表示:
by Edward Nelson
出版情報:
Princeton, N.J. : Princeton University Press, 1986
著者名:
Nelson, Edward, 1932- <DA0087393X>  
シリーズ名:
Mathematical notes ; 32 <BA00428792>
ISBN:
9780691084558 [0691084556]  CiNii Books  Calil
注記:
Bibliography: p. 181-182
Includes indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 図書 Five papers on logic and foundations

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

American Mathematical Society
2 図書 Bounded arithmetic, propositional logic, and complexity theory

Krajíček, Jan

Cambridge University Press
8 図書 Radically elementary probability theory

Nelson, Edward, 1932-

Princeton University Press
3 図書 Constructivism in mathematics : an introduction

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

North-Holland
9 図書 Dynamical theories of Brownian motion

Nelson, Edward, 1932-

Princeton University Press
4 図書 Differential und Integral : eine konstruktive Einführung in die klassische Analysis

Lorenzen, Paul

Akademische Verlagsgesellschaft
10 図書 Flows

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
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 図書 Tensor analysis

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press
6 図書 Fine structure and iteration trees

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

Springer-Verlag
12 図書 Dynamical theories of Brownian motion

Nelson, Edward, 1932-

Princeton University Press, University of Tokyo Press