Can You Solve My Problems?
Alex Bellos
Logicism Renewed
Paul C. Gilmore
The Notre Dame Lectures
Peter Cholak
How To Expect the Unexpected
Kit Yates
How To Expect the Unexpected
Kit Yates
Logic and Structure
D. van Dalen
Know Your Own IQ
Hans Eysenck
Mathematical Proofs
Gary Chartrand
Introduction To Homotopy Type Theory
Egbert Rijke
Reading, Writing, and Proving
Ulrich Daepp
Cryptocurrency Forensics and Investigation Using Open Source Intelligence Techniques (OSINT). Volume II
Prakash Prasad
Mysticism and Logic
Bertrand Russell
Knowledge Graph and Semantic Web Technology Based XAI
T. Poongodi
A Bridge To Higher Mathematics
James R. Kirkwood
Reasons For Logic, Logic For Reasons
Ulf Hlobil
Cryptocurrency Forensics and Investigation Using Open Source Intelligence Techniques (OSINT). Volume I
Prakash Prasad
The Elements of Advanced Mathematics
Steven G. Krantz
Gödel's Proof
Ernest Nagel
The Language of Mathematics
Raúl Rojas
The Story of Proof
John Stillwell
