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

Relative category theory and geometric morphisms : a logical approach /

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

Partially ordered algebraic systems /

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

Efektové algebry a kvantové logiky /

Autor Štěpánek, Roman
Vydáno 2018