TY  - BOOK
AU  - Kozen, Dexter. Ed.
TI  - Logic in Computer Science, Tenth Annual IEEE Symposium on-: Proceedings, San Diego, 1995
SN  - 0 8186 7050 9
CY  - USA
KW  - Logic in Computer Science
ER  -