Ver registro no DEDALUS
Exportar registro bibliográfico

Note on k-decidability (1987)