>> Google Books
所蔵情報QRコード

Subsystems of second order arithmetic / Stephen G. Simpson

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1999
形態:
xiv, 444 p. ; 25 cm
シリーズ名:
Perspectives in mathematical logic <BA00027452>
著者名:
Simpson, Stephen G. (Stephen George), 1945- <DA01208324>  
ISBN:
9783540648826 [3540648828] (: hard)
書誌ID:
BA38597577
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Büchi's monadic second order successor arithmetic

Siefkes, Dirk

Springer-Verlag
7 図書 Model theory for modal logic : Kripke models for modal predicate calculi

Bowen, Kenneth A.

D. Reidel Pub. Co.
2 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
8 図書 The computational complexity of logical theories (: Berlin ; : New York)

Ferrante, Jeanne, 1949-, Rackoff, Charles W., 1948-

Springer-Verlag
3 電子ブック Büchi’s Monadic Second Order Successor Arithmetic

Siefkes

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 The decision problem : solvable classes of quantificational formulas

Dreben, Burton, Goldfarb, Warren D.

Addison-Wesley, Advanced Book Program
4 図書 Polymers for second-order nonlinear optics

Lindsay, Geoffrey A., 1945-, Singer, Kenneth D., American Chemical Society. Division of Polymer Chemistry, American …

American Chemical Society
10 図書 Predicate calculus and program semantics (: us ; : gw)

Dijkstra, Edsger Wybe, 1930-, Scholten, Carel S.

Springer-Verlag
5 図書 Psychology and religion : an introduction to contemporary views

Spinks, G. Stephens (George Stephens)

Methuen
11 図書 Second order elliptic integro-differential problems

Garroni, M. G. (Maria Giovanna), Menaldi, José Luis

Chapman & Hall/CRC
6 図書 Digital modulation and coding

Wilson, Stephen G., 1945-

Prentice Hall
12 図書 The history of modern science : a guide to the second scientific revolution, 1800-1950

Brush, Stephen G.

Iowa State University Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12