>> 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
 
1 図書 Mathematical logic

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

Springer-Verlag
7 図書 Differential geometric methods in mathematical physics : proceedings of an international conference held at the Technical University of Clausthal, FRG, August …

Hennig, Jörg Dieter, Doebner, Heinz Dietrich, 1931-

Springer-Verlag
2 電子ブック Mathematical Logic

Ebbinghaus, Flum, J., Thomas, Wolfgang

Springer
8 電子ブック Ernst Zermelo

Ebbinghaus, Heinz-Dieter, Peckhaus, Volker

Springer Berlin Heidelberg
3 図書 Finite model theory

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

Springer
9 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

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
5 電子ブック Logic and Automata: History and Perspectives

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-)

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