Building models by games /

Autor Hodges, Wilfrid, 1941-
Vydáno 1985

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /

Vydáno 1989

Introduction to higher order categorical logic /

Autor Lambek, Joachim, 1922-2014, Scott, P. J.
Vydáno 1989

Logic algebra /

Vydáno 1996

Automorphisms of first-order structures /

Vydáno 1994

Relative category theory and geometric morphisms : a logical approach /

Autor Chapman, Jonathan, Rowbottom, Frederick
Vydáno 1992

Rudiments of μ-calculus /

Autor Arnold, André, Niwiński, D.
Vydáno 2001

Finite structures with few types /

Autor Cherlin, Gregory L., 1948-, Hrushovski, Ehud, 1959-
Vydáno 2003

Partially ordered algebraic systems /

Autor Fuchs, László, 1924-
Vydáno 2011