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

Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz

資料種別:
図書
出版情報:
New York ; Tokyo : Springer-Verlag, c1979
形態:
xii, 198 p. ; 25 cm
シリーズ名:
Undergraduate texts in mathematics <BA00018418>
著者名:
Malitz, Jerome <DA02114022>  
ISBN:
9780387903460 [0387903461] (: us)
9783540903468 [3540903461] (: gw)
9781461394433 [1461394430] (: pbk.)
書誌ID:
BA01299323
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Mathematical logic : an introduction to model theory

Lightstone, A. H., Enderton, Herbert B

Plenum Press
7 図書 Handbook of mathematical logic (: pbk)

Barwise, Jon, Keisler, H. Jerome, 1936-

North-Holland Pub. Co.
2 図書 Elements of mathematical logic : (Model theory)

Kreisel, Georg, Krivine, Jean-Louis

North Holland Pub. Co.
8 図書 Recursive function theory and logic

Yasuhara, Ann

Academic Press
3 図書 An introduction to mathematical logic and type theory : to truth through proof (: pbk)

Andrews, P. B. (Peter Bruce), 1937-

Academic Press
9 図書 An algebraic introduction to mathematical logic (: us ; : gw)

Barnes, D. W. (Donald W.), 1935-, Mack, J. M.

Springer-Verlag
4 図書 Set theory and logic

Fraenkel, Abraham Adolf, 1891-1965

Addison-Wesley Pub. Co
10 図書 Introduction to mathematical logic (: pbk)

Church, Alonzo, 1903-

Princeton University Press
5 図書 Set theory and its logic

Quine, W. V. (Willard Van Orman), 1908-

Belknap Press of Harvard University Press
11 図書 Introduction to mathematical logic

Mendelson, Elliott

Wadsworth & Brooks/Cole Advanced Books & Software
6 図書 Set theory and its logic

Quine, W. V. (Willard Van Orman), 1908-

Belknap Press of Harvard University Press
12 図書 Introduction to elementary mathematical logic

Stoli︠a︡r, A. A. (Abram Aronovich)

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