zbMath0169.30102MaRDI QIDQ5556398
John T. Kearns
Publication date: 1968
zbMATH Keywords
general logic