00741nam0-22002531i-450-990001285850403321000128585FED01000128585(Aleph)000128585FED0100012858520000920d1971----km-y0itay50------baengMathematical Logic and Formalized TheoriesA Survey of Basic Concepts and Resultsby ROGERS RobertAmsterdam [etc.]North-Holland1971Rogers,Robert50231ITUNINARICAUNIMARCBK99000128585040332111-L-1612678MA1MA1Mathematical logic and formalized theories50403UNINAING01