< Terug naar vorige pagina
Publicatie
A self-contained provability calculus for {\(\Gamma\)}\(_{\mbox0}\)
Boekbijdrage - Boekhoofdstuk Conferentiebijdrage
Boek: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Volume: 11541
Pagina's: 195 - 207
ISBN:9783662595336
Jaar van publicatie:2019
Toegankelijkheid:Open