Title: Formale Logik
First published: 1956