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
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
Foundations and Fundamental Concepts of Mathematics
Howard Eves
Introduction To Mathematical Logic
Richard E. Hodel
A Beginner's Guide To Mathematical Logic
Raymond M. Smullyan
Model Theory
Chen Chung Chang
Principles of Mathematics
Bertrand Russell
Our Knowledge of the External World
Bertrand Russell
Gödel's Proof
Ernest Nagel
