Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic
Nicolas D. GoodmanVolume:
49
Language:
english
Pages:
12
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274102
Date:
March, 1984
File:
PDF, 233 KB
english, 1984