![](https://www.pdfsearch.io/img/c92e4a53cd69ca43b1cf3a68505a565f.jpg) Date: 2015-07-16 05:18:11
| | Completeness and Termination for a Seligman-style Tableau System Patrick Blackburn∗ Thomas Bolander†Add to Reading ListSource URL: www.patrickblackburn.orgDownload Document from Source Website File Size: 473,94 KBShare Document on Facebook
|