Repository | Serials | Series | Volumes
Birkhäuser
Deciding theoremhood in fibred logics without shared connectives
Sérgio MarcelinoCarlos CaleiroPedro Baltazar
Volume
Title
Author