TY  - BOOK
AU  - Beth, E.W.
TI  - Formal Methods, An Introduction To Symbolic Logic and To The Study of Effective Operations In Arithmetic and Logic
U1  - 510.1  
PY  - 1981///
ER  -