Mathematical Foundations

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science

Logical Labyrinths

A K Peters/CRC Press (9781568814438) | Logical Labyrinths

The A to Z of Logic: 169

Scarecrow Press (9780810875968) | Z of Logic

Multi-Criteria Decision Making Methods: A Comparative Study

Springer (9780792366072) | Multi-Criteria Decision Making Methods, Multi-Criteria Decision

Set Theory for the Working Mathematician: 39

Cambridge University Press (9780521594653)

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

Springer (9781402007637)

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

CRC Press (9781138502086) | Universal Computer

The Tools of Mathematical Reasoning

American Mathematical Society (9781470428990) | Tools of Mathematical Reasoning

Modal Logic: 53

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

Introduction to Mathematical Structures and Proofs

(9781461442646 / 19221905) | Real and complex

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

(9780521707572)

The pnp question and godels lost letter

(9781441971548 / 11739972)

Roads to Infinity: The Mathematics of Truth and Proof

(9781568814667 / 28524369)

Walk Through Combinatorics, A: An Introduction To Enumeration And Graph Theory

(9789814460002)

A Student's Guide to Data and Error Analysis

(9780521134927 / YES4625727) | Handy reference

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

Introduction To Error Analysis: The Study of Uncertainties in Physical Measurements, second edition

Palgrave (9780935702750 / NUSBK20160901-C115536) - Dimensions: 184 x 260 x 19mm | 639.57g - Revised - Sausalito, United States - University Science Books,U.S. - Edition statement: 2nd Revised edition | Second edition & Introduction to Error Analysis

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

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

(9780691158839)

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica

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.

Double the Ducks

A Course on Set Theory

Cambridge University Press (9781107400481)

Handbook of Applied Cryptography

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