Model theory - Congresses.

Logic Colloquium '82 = proceedings of the colloquium held in Florence, 23-28 August, 1982 / by: (書目-語言資料,印刷品)

Non-classical logics, model theory, and computability = proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / by: (書目-語言資料,印刷品)

Computable functions

Nonclassical mathematical logic

Lambda calculus

Categories (Mathematics)

Model theory