00687nam a2200205 a 450000100060000000300080000600500170001400800410003103500190007204000350009104100080012608200190013410000190015324501380017226000530031030000260036349000600038950400200044965000120046929926BD-RjUL20211209051501.0140408s1962    enk           001 0 eng d  a(BD-RjUL)30011  aBD-RjULbengcBD-RjULdBD-RjUL  aeng  a160bBEF  1962  aBeth, Evert W.00aFormal methods : bAn introduction to symbolic logic and the study of effective operations in arithmetic and logic /cEvert W. Beth.   aHolland  :bD. Reidel Publishing Company,c1962.  axiv, 170 p. ;c19 cm.  aSynthese Library / Editors B. H. Kazemier and D. Vuysje  aIncludes index.  aLogic,