TY  - BOOK
AU  - Muller G H Ed.
AU  -  Takeuti G Ed.
AU  -  Tuge T Ed.
ED  - Symposium on the foundation (1981 : Hakone)
TI  - Proceeding on the foundations of mathematics
T2  - Lecture notes in mathematics; 891
U1  - B316p1,N80, M1 
PY  - 1981///
CY  - Berlin
PB  - Springer-Verlag         
ER  -