![](/img/cover-not-exists.png)
On maximal intermediate predicate constructive logics
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo MiglioliVolume:
57
Language:
english
Pages:
36
Journal:
Studia Logica
DOI:
10.1007/bf00370841
Date:
October, 1996
File:
PDF, 2.07 MB
english, 1996