00798nam0-22002891i-450-990001062220403321000106222FED01000106222(Aleph)000106222FED0100010622220000920d1955----km-y0itay50------baengMathematical Interpretation of Formal SystemsTh. Skolem ... [et al.]AmsterdamNorth-Holland1955VIII, 113 p.22 cmLogicaRicorsività160Skolem,Thoralf A.46731ITUNINARICAUNIMARCBK9900010622204033217-0373691FI1FI1Mathematical Interpretation of Formal Systems340232UNINAING01