TY  - BOOK
AU  - Addison,John West
AU  - Henkin,Leon
AU  - Tarski,Alfred
ED  - International Symposium on the Theory of Models
ED  - North-Holland Publishing Company.
TI  - The theory of models: proceedings of the 1963 International Symposium at Berkeley 
T2  - Studies in Logic and the Foundations of Mathematics,
PY  - 1972///
CY  - Amsterdam, London
PB  - North-Holland Publishing Company
KW  - Logika symboliczna i matematyczna
KW  - konferencje
KW  - kaba
KW  - Modele matematyczne
N1  - Zawiera materiały z międzynarodowego sympozjum zorganizowanego w dniach 25 VI-11 VII 1963 w Berkeley; Bibliografia na stronach 442-492
ER  -