zbMath0165.30303MaRDI QIDQ5551416
Terry A. McKee
Publication date: 1969
zbMATH Keywords
general logic