Journals list News UJ Journals Partners Authors About us Cooperation Contact Privacy policy Jagiellonian University Press

Gilda Ferreira

Departamento de Matematica, Faculdade de Ciencias da Universidade de Lisboa, Campo Grande, Ed. C6, 1749-016, Lisboa, Portugal

Information

Afilliation

Departamento de Matematica, Faculdade de Ciencias da Universidade de Lisboa, Campo Grande, Ed. C6, 1749-016, Lisboa, Portugal

Articles

Sort:

Author

Instantiation overflow

Gilda Ferreira

Reports on Mathematical Logic, Number 51, 2016, pp. 15 - 33

https://doi.org/10.4467/20842589RM.16.002.5279

PDF