Repository | People

139468

References

Pedro Baltazar

Bibliography ¹Export

Deciding theoremhood in fibred logics without shared connectives

2015

with Marcelino Sérgio, Caleiro Carlos

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

Open Access Link

Order by

Filter

Language

english/english

Period

2010-2019

Style