00824nam0-22002891i-450-990001016660403321000101666FED01000101666(Aleph)000101666FED0100010166620000920d1952----km-y0itay50------baengIntroduction to metamathematicsby Stephen Cole KleeneAmsterdamNorth-Holland1952x, 543 p.25 cmBibliotheca Mathematica1Storia della logica e probabilità510.BKleene,Stephen Cole<1909- >57809ITUNINARICAUNIMARCBK990001016660403321S.6A-010583FI1FI1Introduction to metamathematics108230UNINAING01