Journal of Philosophical Logic, Vol. 44, No. 3 (June 2015), pp. 237-258 (22 pages) Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and ...
What seem to be Kurt Gödel's first notes on logic, an exercise notebook of 84 pages, contains formal proofs in higher-order arithmetic and set theory. The choice of these topics is clearly suggested ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback