UNIVERSAL ROSSER PREDICATES
KIKUCHI, MAKOTO, KURAHASHI, TAISHIVolume:
82
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2016.19
Date:
March, 2017
File:
PDF, 175 KB
english, 2017