Exportar referência
APA
Bruno Dinis, Jaime Gaspar, (2023). Hardwiring truth in functional interpretations. Portugaliae Mathematica, 80, 81-105. ISSN 0032-5155. eISSN . http://dx.doi.org/10.4171/pm/2094
IEEE
Bruno Dinis, Jaime Gaspar, "Hardwiring truth in functional interpretations" in Portugaliae Mathematica, vol. 80, pp. 81-105, 2023.
10.4171/pm/2094
BIBTEX
@article{58571,
author = {Bruno Dinis and Jaime Gaspar},
title = {Hardwiring truth in functional interpretations},
journal = {Portugaliae Mathematica},
year = 2023,
pages = {81-105},
volume = 80
}