Systems of trans type theory based on intuitionistic and modal logics. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik (1974)

by Kenneth A Bowen