著者典拠情報

著者標目形：
Hasenjaeger, G. (Gisbert), 1919-
属性：
Personal
日付：
1919-
から見よ参照形：
Hasenjaeger, Gisbert
Hasenjaeger, Gisbert, 1919-
注記：
Sym. "Rekursive Kombinatorik" (1983 : Inst. für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen). Logic and machines, 1984: CIP t.p. (G. Hasenjaeger) data sheet (Gisbert Hasenjaeger, b. 6/1/19)
LC data base, 4/6/84 (hdg.: Hasenjaeger, Gisbert; usage: G. Hasenjaeger)
著者典拠ID：
DA02234807


1.

図書
図書
1. Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen (: gw ; : us)
edited by E. Börger, G. Hasenjaeger, and D. Rödding
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 171
所蔵情報: 図書館
2.

図書
図書
2. Grundzüge der mathematischen Logik (: pbk)
von Heinrich Scholz und Gisbert Hasenjaeger
出版情報: Berlin : Springer, 1961
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 106
所蔵情報: 図書館