Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli. Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports, 7(9):26-46, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.