The Logic, Philosophy, and History of the Lambda-Calculus
Levis Zerpa
Quantum Mechanics and Avant-Garde Music
Rakhat-Bi Abdyssagin
Automata Theory and Formal Languages
A. Pettorossi
The Logical Writings of Karl Popper
David Binder
Logical Foundations of Computer Science Theoretical Computer Science and General Issues
Sergei Artemov
Essential Mathematics For Undergraduates
Simon G. Chiossi
New Foundations For Information Theory
David Ellerman
Modelling Puzzles in First Order Logic
Adrian Groza
Intuitionistic Proof Versus Classical Truth
Enrico Martino
Quantitative Aptitude
Bharath Kumar Kola
The Man Who Loved Only Numbers
Paul Hoffman
Introducing Infinity
Brian Clegg
Mathematical Intelligence
Junaid Mubeen
The Art of Logic
Eugenia Cheng
The Language Lover's Puzzle Book
Alex Bellos
So You Think You've Got Problems?
Alex Bellos
