Mathematical Foundations

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic

Logic for Concurrency and Synchronisation

Springer (9781402012709)

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity

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

CRC Press (9781138502086) | Universal Computer

Modal Logic: 53

(9780521527149 / 20 b/w illus.) | Modal Logic

Introduction to Mathematical Structures and Proofs

(9781461442646 / 19221905) | Real and complex

The Logic Book

(9780078038419 / 9780078038419) | Logic Book

Crafting Conundrums: Puzzles and Patterns for the Bead Crochet Artist

(9781466588486)

Roads to Infinity: The Mathematics of Truth and Proof

(9781568814667 / 28524369)

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

(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

Category Theory

(9780199237180)

A First Course in Logic

(9780815386650) - Mark Verus Lawson

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

The Description Logic Handbook: Theory, Implementation and Applications

(9780521150118)

99 Variations on a Proof

(9780691158839)

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

(9780470229057 / 9780470229057) - Dimensions: 189 x 229 x 21mm | 464g - Edition statement: 1. Auflage - Format: 384 pages - Height: 226 mm - Spine width: 23 mm - Width: 150 mm - John Wiley & Sons Ltd

Logic, Semantics, Metamathematics: Papers from 1923-38: Papers from 1923 to 1938

(9780915144754)

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.

Handbook of Applied Cryptography

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