Here is a little something a friend sent me that is indisputable mathematical logic. Nerdish and silly but I suppose it appeals to the dark mathematical side of my soul. But the message is very true. It goes like this: What Makes 100%? What does it mean to give MORE than 100%? Ever wonder about …

Gottlob Frege: Gottlob Frege, German mathematician and logician, who founded modern mathematical logic. Working on the borderline between philosophy and mathematics—viz., in the philosophy

This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and c

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century.