Article,

A mathematical commitment without computational strength

.
The Review of Symbolic Logic, 15 (4): 880-906 (2022)
DOI: 10.1017/S1755020321000265

Meta data

Tags

Users

  • @freund
  • @dblp

Comments and Reviews