TY  - BOOK
AU  - Beth Evert W
TI  - Formal methods
T2  - Synthese library
U1  - R14, K2 
PY  - 1962///
CY  - Holland
PB  - D Reidel Publishing     
ER  -