Walter Dean, Hidenori Kurokawa. Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 27-63, Springer, 2016. [doi]
@incollection{DeanK16-0,
title = {Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause},
author = {Walter Dean and Hidenori Kurokawa},
year = {2016},
doi = {10.1007/978-3-319-22686-6_3},
url = {https://doi.org/10.1007/978-3-319-22686-6_3},
researchr = {https://researchr.org/publication/DeanK16-0},
cites = {0},
citedby = {0},
pages = {27-63},
booktitle = {Advances in Proof-Theoretic Semantics},
editor = {Thomas Piecha and Peter Schroeder-Heister},
volume = {43},
series = {Trends in Logic},
publisher = {Springer},
isbn = {978-3-319-22686-6},
}