138990

References

João Rasga

A roadmap to decidability

2015

with Sernadas Cristina, Sernadas Amílcar

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

Open Access Link