Exportar registro bibliográfico

Note on k-decidability (1987)


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021