Repository | Directory | Profile
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
Central and East European
Society for Phenomenology