The Logical Reconstruction of Cuts as One Solution Operators

Paul J. Voda. The Logical Reconstruction of Cuts as One Solution Operators. In META. pages 523-530, 1988.

Abstract

Abstract is missing.