Logicism renewed: logical foundations for mathematics and computer … by Gilmore, Paul C., (Gilmore, Paul Carl) fromLecture notes in logic 0 Type: Book
