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. Muller, G. Takeuti, and T. Tugue 
 - Berlin  New York  Springer-Verlag  c1981 
 - xi, 394 p  24 cm 
 - Lecture notes in mathematics  891  ISSN 0075-8434 .
 - Lecture notes in mathematics (Springer-Verlag) .
<br/><br/> Cuprinde bibliografie pe capitole 
<br/><br/><label>ISBN: </label>0387111611 (New York : pbk.) 3540111611 (Berlin : pbk.) 
<br/><br/><label>LCCN: </label>81018424 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>Dewey Class. No.: </label>510 s  511.3