zbMath0166.25104MaRDI QIDQ5551119
M. J. Cresswell
Publication date: 1967
zbMATH Keywords
general logic