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 Methods358229UNINAING0100804cam0-22003011i-450-99000592635040332120040318140357.0000592635FED01000592635(Aleph)000592635FED0100059263520000112d1866----km-y0itay50------bagerATy-------001yy<<Die >>Staatsanwaltschaft in DeutschlandGustav KellerWienBraumüller1866333 p.24 cm00100073870434520itaKeller,Gustav403610ITUNINARICAUNIMARCBK990005926350403321XII D 6510611FGBCFGBCStaatsanwaltschaft in Deutschland586335UNINA