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
The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities

The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities

Brand: The Mathematical Association of America (9780521546775 / 35 b/w illus. 161 exercises) | Guaranteed packaging No quibbles
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
Intro to Computer Theory 2e

Intro to Computer Theory 2e

Wiley (9780471137726 / Illustrations)
Set Theory: A First Course

Set Theory: A First Course

(9781107120327) | Theory A First Course
The pnp question and godels lost letter

The pnp question and godels lost letter

(9781441971548 / 11739972)
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 Student's Guide to Data and Error Analysis

A Student's Guide to Data and Error Analysis

(9780521134927 / YES4625727) | Handy reference
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)
How to Prove It A Structured Approach

How to Prove It A Structured Approach

(9781108439534) - Daniel J. Velleman - Third edition - Cambridge University Press - Height: 153 mm - Spine width: 24 mm - Width: 226 mm - ISBN: 9781108439534 - Number of pages: 400 - Languages: English | Advanced mathematics
Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery

Lakatos Imre (9781107534056 / 27 b/w illus. 2 tables)
Elements of Mathematics: From Euclid to Godel: From Euclid to Gödel

Elements of Mathematics: From Euclid to Godel: From Euclid to Gödel

(9780691178547 / 48095401) - Height: 158 mm - Spine width: 26 mm - Width: 235 mm - Princeton University Press - ISBN: 9780691178547 - Number of pages: 440 - Languages: English - Weight: 740 g
Journey through Genius

Journey through Genius

(9780471500308)
An introduction to mathematical reasoning numbers sets and functions

An introduction to mathematical reasoning numbers sets and functions

(9780521597180) - Height: 227 mm - Spine width: 18 mm - Width: 152 mm - Cambridge University Press - ISBN: 9780521597180 - Number of pages: 350 - Languages: English - Weight: 524 g
A Course on Set Theory

A Course on Set Theory

Cambridge University Press (9781107400481)