Blank Cover Image
所蔵情報QRコード

Elements of mathematical logic : (Model theory) / G. Kreisel and J. L. Krivine

資料種別:
図書
出版情報:
Amsterdam : North Holland Pub. Co., 1967
形態:
xi, 221 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
書誌ID:
BA03985922
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Elements of mathematical logic : (model theory)

Kreisel, Georg, Krivine, Jean-Louis

North-Holland Publishing Company
7 図書 Elements of mathematical logic

Novikov, P. S. (Petr Sergeevich)

Oliver & Boyd
2 図書 Éléments de logique mathématique : théorie des modèles

Kreisel, Georg, Krivine, Jean-Louis

Dunod
8 図書 Development of mathematical logic

Goodstein, R. L. (Reuben Louis)

Logos Press
3 図書 Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

Kreisel, Georg, Krivine, Jean-Louis, Jung, Joachim

Springer-Verlag
9 図書 Frege and Gödel : two fundamental texts in mathematical logic

Van Heijenoort, Jean, 1912-, Frege, Gottlob, 1848-1925, Gödel, Kurt, 1906-1978

Harvard University Press
4 図書 Mathematical logic : an introduction to model theory

Lightstone, A. H., Enderton, Herbert B

Plenum Press
10 図書 Mathematical logic and formalized theories : a survey of basic concepts and results

Rogers, Vincent Robert, 1926-

North-Holland
5 図書 Introduction to mathematical logic : set theory, computable functions, model theory

Malitz, Jerome

Springer-Verlag
11 図書 An introduction to mathematical logic and type theory : to truth through proof

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

Academic Press
6 図書 The elements of mathematical logic

Rosenbloom, Paul C.

Dover Pub.
12 図書 Elements of symbolic logic

Reichenbach, Hans, 1891-1953

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