TY  - BOOK
AU  - Nerode A
ED  - International Symposium on Logical Foundations of Computer Science( 2nd : 1992 : Tver,Russia )
ED  - International Symposium on Logical Foundations of Computer Science 2nd
TI  - Logical foundations of computer science : proceedings
SN  - 0-387-55707-5
U1  - 5.131 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
KW  - Symbolic logic
ER  -