Repository | Directory | Profile
Pedro Baltazar
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
European Society
for Phenomenology
European Society
for Phenomenology
Repository | Directory | Profile
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser