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

Bruno Dinis

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

Bruno Dinis

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

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

PDF