Håkon Robbestad Gylterud
发表
Håkon Robbestad Gylterud,
H. Gylterud,
2018,
The Journal of Symbolic Logic.
Håkon Robbestad Gylterud,
H. Gylterud,
2016,
Mathematical Proceedings of the Cambridge Philosophical Society.
Henrik Forssell,
David I. Spivak,
Håkon Robbestad Gylterud,
2020,
J. Log. Comput..
Henrik Forssell,
David I. Spivak,
Håkon Robbestad Gylterud,
2016,
LFCS.