TY  - BOOK
AU  - Beth Evert W.
TI  - Formal methods: An introduction to symbolic logic ..
T2  - Synthese library
U1  - R14, K2;2 
CY  - Dordrecht-Holland
PB  - D. Reidel Pub. Co.    
KW  - PHILOSOPHY
ER  -