![](/img/cover-not-exists.png)
Analytic Tableaux and Related Methods. Part 2: Non-Classical Logics || An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions
Raymond D. GumbVolume:
69
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20016349
Date:
November, 2001
File:
PDF, 1.38 MB
english, 2001