Model theory - Congresses.

Logic Colloquium '82 = proceedings of the colloquium held in Florence, 23-28 August, 1982 / by: (Language materials, printed)

Non-classical logics, model theory, and computability = proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / by: (Language materials, printed)

Computable functions

Nonclassical mathematical logic

Lambda calculus

Categories (Mathematics)

Model theory