Tractatus Logico-Philosophicus

by Ludwig Wittgenstein

It also becomes clear why logic has been called the theory of forms and of inference.