1
Logic : the theory of formal inference /
Book
...MDA - Foundations of mathematics...