Basic Category Theory: 143

Basic Category Theory: 143

Cambridge University Press (9781107044241) | Basic Category Theory
A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathematics

Birkhäuser (9780817682859)
Computability and Logic Fifth Edition

Computability and Logic Fifth Edition

Cambridge University Press (9780521701464) | Logic Fifth Edition
The Logic of Provability

The Logic of Provability

Cambridge University Press (9780521483254)
Computational Complexity: A Modern Approach

Computational Complexity: A Modern Approach

Cambridge University Press (9780521424264) | Modern Approach
Logic For Dummies

Logic For Dummies

Wiley (9780471799412) | Logic For Dummies
Seduced by Logic: Milie Du Ch Telet, Mary Somerville and the Newtonian Revolution

Seduced by Logic: Milie Du Ch Telet, Mary Somerville and the Newtonian Revolution

Oxford University Press (9780199931613) | Mary Somerville
Intermediate Logic

Intermediate Logic

OUP Oxford (9780198751427) | Intermediate Logic
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Academic Press (9780121703509)
Benford's Law: Theory and Applications

Benford's Law: Theory and Applications

Princeton University Press (9780691147611)
Understanding Mathematical Proof

Understanding Mathematical Proof

Chapman and Hall/CRC (9781466514904)
Quantitative reasoning thinking in numbers

Quantitative reasoning thinking in numbers

Cambridge University Press (9781108410908)
Opus: Teacher File & CD-ROM 2

Opus: Teacher File & CD-ROM 2

Cambridge University Press (9780521123365) | Computational Logic
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

Cambridge University Press (9780521898850)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

(9780521761444 / Illustrated) | Kurt Godel
An Introduction to Probability and Inductive Logic

An Introduction to Probability and Inductive Logic

(9780521775014 / Worked examples or Exercises)
Proofs and Fundamentals: A First Course in Abstract Mathematics

Proofs and Fundamentals: A First Course in Abstract Mathematics

Springer-Verlag New York Inc. (9781461428107 / XXVI, 358 p.) | Rigorous mathematical, Fundamental mathematical
Set Theory: A First Course

Set Theory: A First Course

(9781107120327) | Theory A First Course
The Logic Book

The Logic Book

(9780078038419 / 9780078038419) | Logic Book
Combinatorics and Graph Theory

Combinatorics and Graph Theory

Springer-Verlag New York Inc. (9780387797106 / 23589860)
Non-standard Analysis

Non-standard Analysis

(9780691044903 / 52055)
Mathematical Logic

Mathematical Logic

(9780470280744)
An Introduction to Substructural Logics

An Introduction to Substructural Logics

(9780415215343) | Substructural logics
Quantum Groups: A Path To Current Algebra: 19

Quantum Groups: A Path To Current Algebra: 19

(9780521695244) | Quantum Groups
A New Introduction to Modal Logic

A New Introduction to Modal Logic

(9780415126007 / 9780415126007)
Access Control, Security and Trust: A Logical Approach

Access Control, Security and Trust: A Logical Approach

Explore advanced concepts in digital identity management, encryption techniques, and policy enforcement with a focus on logical frameworks for secure access control systems.
Set Theory and Logic

Set Theory and Logic

(9780486638294)