図書

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué. (Lecture notes in mathematics ; 891)

Icons representing 図書

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué.

(Lecture notes in mathematics ; 891)

Call No. (NDL)
MA41-182
Bibliographic ID of National Diet Library
000006280587
Material type
図書
Author
Logic Symposia (1979 : Hakone-machi, Japan)ほか
Publisher
Springer-Verlag
Publication date
1981.
Material Format
Paper
Capacity, size, etc.
xi, 394 p. ; 25 cm.
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0387111611 (U.S. : pbk.)
Title
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué.
Series Title
Lecture notes in mathematics ; 891
Title Heading
Lecture notes in mathematics (Springer-Verlag) ; 891.
Author Heading
Logic Symposia (1979 : Hakone-machi, Japan)
Müller, G. H. (Gert Heinz) , 1923-
竹内, 外史, 1926-2017 タケウチ, ガイシ, 1926-2017 ( 00080185 )Authorities
柘植, 利之, 1926-2009 ツゲ, トシユキ, 1926-2009 ( 00743996 )Authorities
Logic Symposia (1980 : Hakone-machi, Japan)
Publication, Distribution, etc.
Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date
1981.
Publication Date (W3CDTF)
1981
Extent
xi, 394 p. ; 25 cm.