A Complete Axiomatization of Higher-Order Intuitionistic Logic
(Marcelo E. Coniglio; C. Sernadas)

The final version of this paper is published as:
Marcelo E. Coniglio; Cristina Sernadas, "A Hilbert-style axiomatization of higher-order intuitionistic logic". In H.A. Feitosa, F.T. Sautter (Eds.), "Lógica: teoria, aplicações e reflexões", pp. 25-58, Coleção CLE, Campinas, 2004.

Published: 2017-08-10