L. Gordeev, Cut free formalization of logic with finitely many variables, Part I, Lecture Notes in Computer Science, no. 933, Springer-Verlag, 1995, pp. 136-150. A. Tarski and S. Givant, A ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback