TY  - BOOK
TI  - Formal methods :  an introduction to symbolic logic and to the study of effective operations in arithmatic and logic
T2  - Synthese Library
U1  - R14, K2,K2;1-;2-;3 (PD) (TTR) 
PY  - 1962///
CY  - Dordrecht
PB  - D Reidel      
KW  - PHILOSOPHY
ER  -