The functional interpretation of logical deduction /

Autor Queiroz, Ruy J. G. B. de, Oliveira, Anjolina G. de, Gabbay, Dov M., 1945-
Vydáno 2012

Logic for concurrency and synchronisation /

Vydáno 2003

Logic, language, information, and computation : 15th International Workshop, WOLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /

Vydáno 2008

Logic, language, information, and computation : 14th international workshop, WOLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /

Vydáno 2007