Contributions to Proceedings:

F. Aschieri:
"On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains";
in: "Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018", 281; S. Berardi et al. (ed.); issued by: EPTCS; Open Publishing Association, 2018, ISSN: 2075-2180, 9 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.