Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018

Book title Buchtitel
Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018
 
Editor Herausgeber_in
 
Publisher Herausgeber
Open Publishing Association
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant DomainsKonferenzbeitrag Inproceedings 2018