Gabbay D.

Handbook of Tableau Methods

1998 · ENGLISH · PDF

View details →

LIBRARY

Quantification in nonclassical logic

2006 · ENGLISH · GZ

View details →

Quantification in Nonclassical Logic Draft

2007 · ENGLISH · PDF

View details →

Goal-Directed Proof Theory

2000 · ENGLISH · PDF

View details →