Mathematical logic

このページのQRコード

種類:

図書

責任表示:

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

出版情報:

New York : Springer-Verlag, c1984

著者名:

シリーズ名:

Undergraduate texts in mathematics <BA00018418>

ISBN:

9780387908953 [0387908951] (: us)

9783540908951 [3540908951] (: gw)

注記:

Bibliography: p. [209]-210
Includes indexes

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

その他の標題:	Einführung in die mathematisch Logik
主題:	Logic, Symbolic and mathematical
分類・件名:	LCC : QA9 DDC : 511.3 NDC7 : 410.12 LCSH : Logic, Symbolic and mathematical
LCCN:	83020060
TTLL:	eng
言語:	英語
形態:	ix, 216 p. : ill. ; 25 cm
書誌ID:	BA01102666

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	7 図書 A course in mathematical logic Manin, I︠U︡. I., Koblitz, Neal, 1948- Springer
2 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	8 図書 An algebraic introduction to mathematical logic Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag
3 図書 Mathematics and logic for digital devices Culbertson, James T. (James Thomas), 1911- Van Nostrand	9 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Springer
4 図書 Automata logics, and infinite games : a guide to current research Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965- Springer	10 図書 Algebraic methods of mathematical logic Rieger, Ladislav, 1916-1963, Basch, Michael Academia, Academic Press
5 図書 Mathematical logic Monk, James Donald, 1930- Springer-Verlag	11 図書 Introduction to mathematical logic Mendelson, Elliott Van Nostrand
6 図書 A mathematical introduction to logic Enderton, Herbert B Academic Press	12 図書 Mathematical logic for computer science Ben-Ari, M., 1948- Prentice Hall