Repository | Directory | Profile
![139468](/images/creator/_default.jpg)
Pedro Baltazar
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
![Open Access Link](/images/OAlink.png)
Central and East 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