00932nam a2200253 i 450099100302683970753620020509110844.0000220s1962 ne ||| | eng b11097589-39ule_instPARLA173681ExLDip.to Filosofiaita164Beth, Evert Willem158977Formal methods :an introdution to symbolic logic and to the study of effective operations in aritmetic and logic /Evert Willem BethDordrecht :Reidel,1962XIV, 170 p. ;22 cmSynthese libraryLogica matematica.b1109758923-02-1728-06-02991003026839707536LE005IF VIII G 212005000076312le005-E0.00-l- 00000.i1123091528-06-02Formal Methods358229UNISALENTOle00501-01-00ma -engne 01