A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions / Valéria de Paiva, Luiz Carlos Pereira
Material type:
ArticleLanguage: English Subject(s): Lógica Intuicionista
In:
Manuscrito vol. 28, nº. 2, 2005, págs. 317-329
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |