Normalization and excluded middle. I

Jonathan P. Seldin. Normalization and excluded middle. I. Studia Logica, 48(2):193-217, 1989. [doi]

Abstract

Abstract is missing.