1 - Axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958
Henkin, Leon Albert (1921-2006) (Ed.)   /   Suppes, Patrick (1922-2014) (Ed.)   /   Tarski, Alfred (1901-1983) (Ed.)

Cote : [05 HEN 59]

2 - Cylindric algebra. Part 1 : with an introduction chapter : General theory of algebras
Henkin, Leon Albert (1921-2006)   /   Monk, J. Donald (1930-....)   /   Tarski, Alfred (1901-1983)

Cote : [10 HEN 71]

3 - Cylindric set algebras
Henkin, Leon Albert (1921-2006)   /   Németi, I.   /   Tarski, Alfred (1901-1983)   /   Andreka, Hajnalka (1947-....)   /   Monk, James Donald (1930-....)

Cote : [05 HEN 81]

4 - Logic, methodology and philosophy of science. IV : proceedings of the fourth International congress for logic, methodology and philosophy of science, Bucharest, 1971
Suppes, Patrick (1922-2014) (Ed.)   /   Henkin, Leon Albert (1921-2006) (Ed.)   /   Joja, Athanase (Ed.)   /   Moisil, Gr. C. (1906-1973) (Ed.)

Cote : [05 SUP 73]

5 - Logical systems containing only a finite number of symbols
Henkin, Leon Albert (1921-2006)

Cote : [05 HEN 67]

6 - Proceedings of the Tarski symposium : An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Henkin, Leon Albert (1921-2006) (Ed.)   /   Addison, John    /   Tarski, Alfred (1901-1983)

Cote : [05 HEN 74]

7 - The theory of models : Symposium held at the University of California, Berkeley, from June 25 to July 11, 1963
Addison, John West (Ed.)   /   Tarski, Alfred (1901-1983) (Ed.)   /   Skolem, Thoralf A. (1887-1963) (Dedic.)   /   Henkin, Leon Albert (1921-2006) (Ed.)

Cote : [05 ADD 63]