Repository | Directory | Profile
(2010-2019)
A roadmap to decidability
2015
João RasgaCristina SernadasAmílcar Sernadas
in: The road to universal logic I, Basel : Birkhäuser
