The Undecidability of Entailment and Rel
β
Alasdair Urquhart
π
Article
π
1984
π
Association for Symbolic Logic
π
English
β 304 KB