Mathematical Logic | 金沢大学附属図書館 OPAC plus

>> Google Books

Mathematical Logic

フォーマット:

電子ブック

責任表示:

Ebbinghaus ; Flum, J. ; Thomas, Wolfgang

言語:

英語

出版情報:

Springer, 1996

著者名:

ISBN:

9781475723571 [1475723571]

9780387942582 [0387942580]

9781475723557 [1475723555]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

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

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 2660000000024224
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 電子ブック A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang, Ribet, K. A. Springer New York
2 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag	8 電子ブック Perspectives on the History of Mathematical Logic Drucker, Thomas Birkhäuser Boston
3 電子ブック Logic and Automata: History and Perspectives Flum, Jörg, Grädel, Erich, Wilke, Thomas, Gra�del, Erich. Amsterdam University Press	9 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
4 図書 Computing and logic : mathematics and language Satty, Glenn Jay, 1949, Blakeley, Thomas J., 1931-, Colbert, James G., 1938- Philosophia Verlag	10 電子ブック Logic Programming and Nonmotonic Reasoning LPNMR 2001, Eiter, Thomas, Faber, Wolfgang Springer Berlin Heidelberg
5 電子ブック Finite Model Theory Ebbinghaus, Heinz-Dieter, Flum, Jorg, Flum, Jörg Springer Berlin Heidelberg	11 電子ブック Automata Logics, and Infinite Games Erich Grädel, Grädel, Erich, Thomas, Wolfgang, Wilke, Thomas Springer Berlin Heidelberg
6 電子ブック A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang Springer New York	12 電子ブック Computer Science Logic Workshop on Computer Science Logic, Nielsen, Mogens, Thomas, Wolfgang, European Association for Computer Science Logic. Springer Berlin Heidelberg