01128nam--2200373---450-99000197328020331620050510113455.0000197328USA01000197328(ALEPH)000197328USA0100019732820040901d1972----km-y0itay0103----baengNE||||||||001yy<<The>> teory of modelsProcedings of the 1963 international symposium at Berkeleyedited by J. W. Addison, Leon Henkin, Alfred TarskiAmsterdamNorth Holland Publishing Company1972XV, 494 p.ill.22 cm20012001001-------2001ADDISON,J. W.HENKIN,LeonTARSKI,AlfredITsalbcISBD990001973280203316II.6. 505(XII H 4)61167 L.M.XII HBKUMASIAV21020040901USA011548SIAV21020040901USA011548COPAT59020050510USA011134Teory of models1046682UNISA