Your search for Foundations of Math

Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983

An Introduction to Its Categorical Side

Logic with Countable Conjunctions and Finite Quantifiers

Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978

Proceedings of a Conference Held in Oxford in July 1976

An Exposition of the Theory of Kurt Godel

Especially in Relation to Recursive Functions

Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 3

(Model Theory)