zbMath0004.38601MaRDI QIDQ4482043
H. B. Smith
Publication date: 1932
zbMATH Keywords
foundations, logic