TY  - BOOK
AU  - Dalen Dirk van ed.
ED  - Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands)
ED  - Annual conference of the European Association for Computer Science Logic, CSL'96
TI  - Computer science logic: selected papers
SN  - 3-540-63172-0
U1  - 5.131 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Symbolic logic
ER  -