00853nam0-22003011i-450-990000961220403321000096122FED01000096122(Aleph)000096122FED0100009612220000920d1962----km-y0itay50------baengFormal Methodsan Introduction to Symbolic Logic and to Study of Effective Operations in Arithmetic and LogicEvert W. BethDordrecht (NL)Reidel1962XIV, 170 p.23 cmSynthese LibraryLogicaRicorsività160Beth,Evert Willem158977ITUNINARICAUNIMARCBK9900009612204033217-0314079FI1FI1Formal Methods358229UNINAING01