Repository | Directory | Profile
References
Carlos Caleiro
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Repository | Directory | Profile
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
2006
in: Algebra, meaning, and computation, Dordrecht : Springer