zbMath0192.03104MaRDI QIDQ5586233
John L. Pollock
Publication date: 1966
zbMATH Keywords
general logic
Related Items