Alfred Tarski
Andrew McFarland
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
Geometry
Israel M. Gelfand
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
Reasons For Logic, Logic For Reasons
Ulf Hlobil
Cryptocurrency Forensics and Investigation Using Open Source Intelligence Techniques (OSINT). Volume I
Prakash Prasad
Gödel's Proof
Ernest Nagel
The Language of Mathematics
Raúl Rojas
The Story of Proof
John Stillwell
The Language of Mathematics
Raúl Rojas
Reverse Mathematics
John Stillwell
An Introduction To Category Theory
Harold Simmons
Introduction To Mathematical Logic
Richard E. Hodel
