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
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Aschieri, Federico ; Berardi, Stefano | On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains | Konferenzbeitrag Inproceedings | 2018 |