![](/img/cover-not-exists.png)
Counting the maximal intermediate constructive logics
Ferrari, Mauro, Miglioli, PierangeloVolume:
58
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275149
Date:
December, 1993
File:
PDF, 2.99 MB
english, 1993