zbMath0166.00206MaRDI QIDQ5552153
M. J. Cresswell
Publication date: 1967
zbMATH Keywords
general logic