Mathematical logic

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

H.-D. Ebbinghaus, J. Flum, W. Thomas

言語:

英語

出版情報:

New York ; Tokyo : Springer-Verlag, c1994

形態:

x, 289 p. : ill. ; 25 cm

著者名:

シリーズ名:

Undergraduate texts in mathematics <BA00018418>

書誌ID:

BA23050624

ISBN:

9780387942582 [0387942580] (: us)

9783540942580 [3540942580] (: gw)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	Einführung in die mathematisch Logik
主題:	Logic, Symbolic and mathematical
分類・件名:	LCC : QA9 DDC : 511.3 NDC7 : 410.12 NDLC : MA41 LCSH : Logic, Symbolic and mathematical
LCCN:	93050621
注記:	Translation of: Einführung in die mathematisch Logik Includes bibliographical references and indexes
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer	7 図書 Mathematical Logic Shoenfield, Joseph R. (Joseph Robert), 1927- Association for Symbolic Logic, A.K. Peters
2 電子ブック Mathematical Logic Ebbinghaus, Flum, J., Thomas, Wolfgang Springer New York	8 図書 A course in mathematical logic for mathematicians Manin, I︠U︡. I., Koblitz, Neal, 1948-, Zilber, Boris Springer
3 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	9 図書 Fundamentals of mathematical logic Hinman, Peter G. A.K. Peters
4 電子ブック Finite Model Theory Ebbinghaus, Heinz-Dieter, Flum, Jorg, Flum, Jörg Springer Berlin Heidelberg	10 図書 A mathematical introduction to logic Enderton, Herbert B Harcourt/Academic Press
5 図書 Computing and logic : mathematics and language Satty, Glenn Jay, 1949, Blakeley, Thomas J., 1931-, Colbert, James G., 1938- Philosophia Verlag	11 図書 Mathematical logic : a course with exercises Cori, René, Lascar, D. (Daniel), 1942- Oxford University Press
6 電子ブック Finite Model Theory Ebbinghaus, Flum, Jörg Springer Berlin Heidelberg	12 図書 Elements of mathematical logic Novikov, P. S. (Petr Sergeevich) Oliver & Boyd