Einfuhrung in die operative logik und mathematik - Lorenzen Paul (Heidelberg Springer, 1955)
Keywords: Mathematical logic; Operative logic