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

>> Google Books

Mathematical Logic

フォーマット:

電子ブック

責任表示:

Ebbinghaus ; Flum, J. ; Thomas, Wolfgang

言語:

英語

出版情報:

Springer New York, 1994

著者名:

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 Springer New York
2 図書 Mathematical logic Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang Springer-Verlag	8 電子ブック A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang, Ribet, K. A. Springer New York
3 電子ブック Finite Model Theory Ebbinghaus, Flum, Jörg Springer Berlin Heidelberg	9 電子ブック Perspectives on the History of Mathematical Logic Drucker, Thomas Birkhäuser Boston
4 電子ブック Logic and Automata: History and Perspectives Flum, Jörg, Grädel, Erich, Wilke, Thomas, Gra�del, Erich. Amsterdam University Press	10 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
5 図書 Computing and logic : mathematics and language Satty, Glenn Jay, 1949, Blakeley, Thomas J., 1931-, Colbert, James G., 1938- Philosophia Verlag	11 電子ブック Financial Mathematics Bruno Biais, Biais, Bruno, Runggaldier, Wolfgang J., Björk, Thomas, Cvitanic, Jaksa, El Karoui, Nicole, Jouini, Elyes, … Springer Berlin Heidelberg
6 電子ブック Finite Model Theory Ebbinghaus, Heinz-Dieter, Flum, Jorg, Flum, Jörg Springer Berlin Heidelberg	12 電子ブック Logic Programming and Nonmotonic Reasoning LPNMR 2001, Eiter, Thomas, Faber, Wolfgang Springer Berlin Heidelberg