Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
Omschrijving
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles
