Vol. 100, No. 1/2, Dedicated to the Memory of Leo Esakia (February/April 2012), pp. 399-418 (20 pages) In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback