Repository | Directory | Profile
References
Peter Arndt
Homotopical categories of logics
2015
in: The road to universal logic I, Basel : Birkhäuser
Repository | Directory | Profile
Homotopical categories of logics
2015
in: The road to universal logic I, Basel : Birkhäuser