著者典拠情報

著者標目形：
Thomas, Wolfgang
属性：
Personal
から見よ参照形：
Thomas, W. (Wolfgang)
注記：
Ebbinghaus, H.-D., Einführung in die mathematische Logik, 1978 (a.e.) t.p. (Wolfgang Thomas, Univ. Freiburg)
Ebbinghaus, H.-D. Mathematical logic, c1984: CIP t.p. (W. Thomas)
著者典拠ID：
DA01196688


1.

図書
図書
1. Foundations of software science and computation structures : second International Conference, FOSSACS ʾ99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ99, Amsterdam, The Netherlands, March 22 - 28, 1999 proceedings
Wolfgang Thomas (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1578
所蔵情報: 図書館
2.

図書
図書
2. Mathematical logic (: us ; : gw)
H.-D. Ebbinghaus, J. Flum, W. Thomas
出版情報: New York : Springer-Verlag, c1984
シリーズ名: Undergraduate texts in mathematics
所蔵情報: 図書館