عنوان

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

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

1979 : Hakone machi, Japan

Berlin

Springer-Verlag

1981

xi, 394p

Lecture notes in mathematics; 198

Includes bibliographies

ISBN: 3540111611

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

Congresses ، Logic, Symbolic and mathematical

L28

Vol

891

AU Muller, Gert Heinz, 1923-

AU Takeuti, Gaisi, 1926-

AU Tugue, Tosiyuki, 1926-

CO Logic Symposia 1980 : Hakone machi, Japan

Logic Symposia