![](/img/cover-not-exists.png)
On Maximal Intermediate Predicate Constructive Logics
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani and Pierangelo MiglioliVolume:
57
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/20015882
Date:
October, 1996
File:
PDF, 3.74 MB
english, 1996