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