TY  - BOOK
AU  - Dalen,D.Van
AU  - Lascar,D.
AU  - Smiley,T.J.
ED  - Logic Colloquium
TI  - Logic colloquium '80: papers intended for the European Summer Meeting of the Association for Symbolic Logic 
SN  - 0444864652 :
U1  - 510.1 
PY  - 1982///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Metamathematics
KW  - Logic, Symbolic and mathematical
N1  - Under the auspices of Czech Academy of Sciences
ER  -