Repository | People

Carlos Caleiro

in English

Deciding theoremhood in fibred logics without shared connectives

2015

in: The road to universal logic II, Basel : Birkhäuser

Quantum institutions

2006

in: Algebra, meaning, and computation, Dordrecht : Springer

Order by

Filter

Language

Period

Style