TY  - BOOK
AU  - Beth, Evert W.
TI  - Formal methods : : An introduction to symbolic logic and the study of effective operations in arithmetic and logic 
T2  - Synthese Library / Editors B. H. Kazemier and D. Vuysje
U1  - 160 
PY  - 1962///
CY  - Holland
PB  - D. Reidel Publishing Company
KW  - Logic,
N1  - Includes index
ER  -