Self-referentiality of Brouwer–Heyting–Kolmogorov semantics

Junhua Yu
  • Annals of Pure and Applied Logic, January 2014, Elsevier
  • DOI: 10.1016/j.apal.2013.07.019
The author haven't finished explaining this publicationThe author haven't finished explaining this publication

The following have contributed to this page: Junhua Yu