00832nam0-22002411i-450-990001134610403321000113461FED01000113461(Aleph)000113461FED01000113461--------d--------km-y0itay50------baengFormal methods. An introductions to symbolic logic and to the study of effective operations in arithmetic and logicby Beth E.W.Dordrecht (NL)Reidel1962Synthese LibraryBeth,Evert Willem158977ITUNINARICAUNIMARCBK990001134610403321C-25-(411387MA1MA1Formal methods. An introductions to symbolic logic and to the study of effective operations in arithmetic and logic345340UNINA