![](/img/cover-not-exists.png)
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
Jordi Rebagliato, Ventura VerdúVolume:
40
Year:
1994
Language:
english
Pages:
8
DOI:
10.1002/malq.19940400109
File:
PDF, 374 KB
english, 1994