Single Premise Post Canonical Forms Defined Over One-Letter Alphabets

Charles E. Hughes. Single Premise Post Canonical Forms Defined Over One-Letter Alphabets. Journal of Symbolic Logic, 39(3):489-495, 1974.

Abstract

Abstract is missing.