>> Google Books
QRコード(所蔵情報)

Mathematical logic. 3rd ed

フォーマット:
図書
責任表示:
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
言語:
英語
出版情報:
Cham : Springer, c2021
形態:
ix, 304 p. : ill. ; 25 cm
著者名:
シリーズ名:
Graduate texts in mathematics ; 291 <BA00010074>
書誌ID:
BC07806597
ISBN:
9783030738389 [3030738388]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料
1. Mathematical logic. 2nd ed (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas , Springer-Verlag , 1994

類似資料:

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

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang

Springer-Verlag

2 電子ブック Mathematical Logic

Ebbinghaus, Flum, J., Thomas, Wolfgang

Springer

8 電子ブック Ernst Zermelo

Ebbinghaus, Heinz-Dieter, Peckhaus, Volker

Springer Berlin Heidelberg

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg

Springer

Ebbinghaus, Heinz-Dieter, 1939-, Sacks, Gerald E., 1933-, Müller, G. H. (Gert Heinz), 1923-

Springer-Verlag

4 電子ブック Finite Model Theory

Ebbinghaus, Heinz-Dieter, Flum, Jorg, Flum, Jörg

Springer Berlin Heidelberg

10 電子ブック Computer Science Logic

Workshop on Computer Science Logic, Flum, Jörg, Rodríguez Artalejo, Mario, European Association for Computer Science &hellip;

Springer Berlin Heidelberg

Flum, Jörg, Grädel, Erich, Wilke, Thomas, Gra�del, Erich.

Amsterdam University Press

11 図書

Ebbinghaus, Heinz-Dieter, 1939-, 成木, 勇夫(1944-)

シュプリンガー・フェアラーク東京

6 電子ブック Recursion Theory Week

Heinz-Dieter Ebbinghaus

Springer Berlin Heidelberg

12 図書

Ebbinghaus, Heinz-Dieter, 1939-, Lamotke, Klaus, 成木, 勇夫(1944-)

シュプリンガー・フェアラーク東京