Conference | Speakers | Profile
Carlos Caleiro
(2010-2019)
XDeciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
Conference | Speakers | Profile
(2010-2019)
XDeciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser