Elementary logic : a procedural perspective /

Autor Gabbay, Dov M., 1945-
Vydáno 1998

Handbook of logic in computer science. Vol. 1, Background: mathematical structures /

Vydáno 1992

Labelled deductive systems. Volume 1 /

Autor Gabbay, Dov M., 1945-
Vydáno 1996

Handbook of the history of logic. Volume 6, Sets and extensions in the twentieth century /

Vydáno 2012