Repository | Directory | Profile

139467

Carlos Caleiro

Bibliography ²

(2010-2019)

Deciding theoremhood in fibred logics without shared connectives

2015

Sérgio Marcelino Carlos Caleiro Pedro Baltazar

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

Open Access Link

Order by

Filter

Language

english/english

Period

2010-2019