![](/img/cover-not-exists.png)
Connection Tableau Calculi with Disjunctive Constraints
Ortrun IbensVolume:
70
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016392
Date:
March, 2002
File:
PDF, 3.29 MB
english, 2002