Paul C. Gilmore, "Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23" English | ISBN: 1568812752 | 2005 | 250 pages | PDF | 11 MB
Logic and Algebraic Structures in Quantum Computing (Lecture Notes in Logic) by Jennifer Chubb, Ali Eskandarian, Valentina Harizanov English | February 26, 2016 | ISBN: 110703339X | 356 pages | PDF | 3.07 Mb
Nigel J. Cutland, "Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25" English | ISBN: 1568812922 | 2006 | 262 pages | PDF | 10 MB