
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 |
2 - Cylindric algebra. Part 1 : with an introduction chapter : General theory of algebras |
4 - Logic, methodology and philosophy of science. IV : proceedings of the fourth International congress for logic, methodology and philosophy of science, Bucharest, 1971 |
5 - Logical systems containing only a finite number of symbols |
6 - Proceedings of the Tarski symposium : An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday |
7 - The theory of models : Symposium held at the University of California, Berkeley, from June 25 to July 11, 1963 |