Title: The Geometry of Equilibrium: James Clerk Maxwell and 21st-Century Structural Mechanics, Author: William F. Baker
Title: The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma, Author: Alan M. Turing
Title: Mathematical Logic: Exercises and Solutions, Author: Laszlo Csirmaz
Title: Aristarchus of Samos, the Ancient Copernicus: A History of Greek Astronomy to Aristarchus, Together with Aristarchus's Treatise on the Sizes and Distances of the Sun and Moon, Author: Thomas Heath
Title: Introduction to Homotopy Type Theory, Author: Egbert Rijke
Title: The Critical Thinking Book, Author: Gary James Jason
Title: Philosophical Logic: An Introduction, Author: Sybil Wolfram
Title: A Concise Introduction to Pure Mathematics, Author: Martin Liebeck
Title: An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Author: Brendan Fong
Title: How to Read and Do Proofs: An Introduction to Mathematical Thought Processes, Author: Daniel Solow
Title: Basic Category Theory, Author: Tom Leinster
Title: Logical Investigations Volume 1, Author: Edmund Husserl
Title: Cross-Tradition Engagement on the Laws of Logic: Approaching Identity and Reference from Classical Chinese Philosophy to Modern Logic, Author: Bo Mou
Title: Metainferential Logics, Author: Federico Pailos
Title: Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics, Author: Luca Tranchini
Title: New Directions in Relevant Logic, Author: Igor Sedlár
Title: Contradictions, from Consistency to Inconsistency, Author: Walter Carnielli
Title: Paradoxes, Author: Piotr Lukowski
Title: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Author: Leslie Lamport
Title: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning, Author: Bob Coecke

Pagination Links