DOI10.1007/BF02342618zbMath0142.24802MaRDI QIDQ2522886
Friedrich L. Bauer
Publication date: 1966 Published in: Computing (Search for Journal in Brave)
zbMATH Keywords
mathematical logic