Principia Mathematica to *56 2ed

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica
Handbook of Applied Cryptography

Handbook of Applied Cryptography

Dive into the "Handbook of Applied Cryptography," a comprehensive guide by CRC Press that explores discrete mathematics and cryptography applications.
Logic DeMystiFied

Logic DeMystiFied

McGraw-Hill Education (9780071701280)
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)
A Course on Mathematical Logic

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic
Descriptive Complexity

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity
The Universal Computer: The Road from Leibniz to Turing, Third Edition

The Universal Computer: The Road from Leibniz to Turing, Third Edition

CRC Press (9781138502086) | Universal Computer
Modal Logic: 53

Modal Logic: 53

(9780521527149 / 20 b/w illus.) | Modal Logic
Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures and Proofs

(9781461442646 / 19221905) | Real and complex
The Logic Book

The Logic Book

(9780078038419 / 9780078038419) | Logic Book
Making Up Your Own Mind: Thinking Effectively through Creative Puzzle-Solving

Making Up Your Own Mind: Thinking Effectively through Creative Puzzle-Solving

(9780691182780) - Height: 122mm - Spine width: 20mm - Width: 200mm - Princeton University Press - x, 123 - ISBN: 9780691182780 - Languages: English - Publication date: 23 Nov 2018 - Weight: 224g
Cryptography: Theory and Practice

Cryptography: Theory and Practice

(9781138197015 / 34172162) - Douglas Robert Stinson - Fourth edition - Chapman & Hall/CRC - xvii, 580 - Taylor and Francis - Height: 185 mm - Spine width: 40 mm - Width: 260 mm - ISBN: 9781138197015 - Languages: English
A First Course in Logic

A First Course in Logic

(9780815386650) - Mark Verus Lawson
Optimization in Economic Theory

Optimization in Economic Theory

(9780198772101 / 3237859) - Edition: 2nd edition - Height: 217 mm - Spine width: 11 mm - Width: 138 mm - Oxford University Press - OUP Oxford - ISBN: 9780198772101 - Number of pages: 208 - Languages: English
99 Variations on a Proof

99 Variations on a Proof

(9780691158839)
Godel, Escher, Bach: An Eternal Golden Braid

Godel, Escher, Bach: An Eternal Golden Braid

Brand: Basic Books (9780465026562 / 21285092) - Douglas R. Hofstadter - Paperback - Basic Books - New York, United States - Little, Brown - Dimensions: 170.18 x 231.14 x 55.88mm | 1,133.98g - Edition statement: 20th Anniversary ed.
Big Typescript: Ts 213

Big Typescript: Ts 213

John Wiley & Sons (9781118346334) | Big Typescript
Basic Category Theory: 143

Basic Category Theory: 143

Cambridge University Press (9781107044241) | Basic Category Theory
Computability and Logic Fifth Edition

Computability and Logic Fifth Edition

Cambridge University Press (9780521701464) | Logic Fifth Edition
Logic For Dummies

Logic For Dummies

Wiley (9780471799412) | Logic For Dummies
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
The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

American Mathematical Society (9781470428990) | Tools of Mathematical Reasoning
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
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)