عنوان

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

English

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Berlin, New York

Springer-Verlag

1981

xi, 394 p. ; 25 cm

Lecture notes in mathematics, 198

Includes bibliographical references and index

Includes bibliographies

edited by G.H. Muller, G. Takeuti, and T. Tugue

Congresses ، Logic, Symbolic and mathematical

891

510

Logic Symposia, )9791, Hakone-machi, Japan(

AU Muller, Gert Heinz 1923-

AU Takeuti, Gaisi 1926-

AU Tugue, Tosiyuki 1926-

AU Logic Symposia, Hakone-machi, Japan(, )1980