00883nam0-22003011i-450-990000951170403321000095117FED01000095117(Aleph)000095117FED0100009511720000920d1961965-km-y0itay50------baeng<<The >>Theory of ModelsProceedings of the 1963 International Symposium at Berkeleyedited by J.W. Addison, Leon Henkin, Alfred TarskiAmsterdamNorth-Holland1965XV, 494 p.23 cmLogicaRicorsività160Addison,J. W.44179Henkin,LeonTarski,Alfred<1901-1983>ITUNINARICAUNIMARCBK9900009511704033217-1025022FI1FI1Theory of Models357443UNINA