Logic Symposia : Hakone, 1979, 1980 :  Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / 
Ed. by G.H. Muller, G. Takeuti, and T. Tugue. 
 - Berlin ;  New York :  Springer-Verlag,  1981. 
 - xi, 394 p. ;  25 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  891 .
 - Lecture notes in mathematics (Springer-Verlag)  891. .
<br/><br/>Includes bibliogr. references 
<br/><br/><label>ISBN: </label>0387111611 (U.S. : pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses.