2 search results - page 1 / 1 » Turning the Liar paradox into a metatheorem of Basic logic |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
CCA
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...