A feasible theory of truth over combinatory algebra. Eberhard, S. Annals of Pure and Applied Logic, 165(5):1009–1033, 2014.
A feasible theory of truth over combinatory algebra [pdf]Paper  doi  bibtex   

Downloads: 0