Mathematical Foundations

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica

Handbook of Applied Cryptography

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

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic

Logic for Concurrency and Synchronisation

Springer (9781402012709)

Integer and Combinatorial Optimization: 55

Wiley-Interscience (9780471359432) | Integer and Combinatorial Optimization

Descriptive Complexity

Springer (9780387986005) | Descriptive Complexity

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

Oxford University Press (9780199931613) | Mary Somerville

Symbolic Logic and Mechanical Theorem Proving

Academic Press (9780121703509)

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

CRC Press (9781138502086) | Universal Computer

Introduction to Mathematical Structures and Proofs

(9781461442646 / 19221905) | Real and complex

Set Theory An Introduction To Independence Proofs: 102

North Holland (9780444868398)

Crafting Conundrums: Puzzles and Patterns for the Bead Crochet Artist

(9781466588486)

Computability, Complexity, and Languages,: Fundamentals of Theoretical Computer Science

(9780122063824)

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.

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

Computability: An Introduction to Recursive Function Theory

(9780521294652) | Theoretical framework

Foundation Mathematics for the Physical Sciences

(9780521192736)

Journey through Genius

(9780471500308)

Elements of Mathematics: From Euclid to Gödel

Princeton University Press (9780691171685)

A Farewell to Ice: A Report from the Arctic

Oxford University Press, USA (9780190691158) | Five decades, Farewell to Ice, Sea Ice, Melting Ice caps, Summer Ice, Effect nearly

Logic and Boolean Algebra

(9780486483856 / Illustrated) | Logic and Boolean

Sets, Logic and Categories

(9781852330569)

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)

Philosophical Logic: An Introduction

Routledge (9780415023184)

Thinking Mathematically: Thinking Mathematically_p2

Pearson (9780273728917)

Foundations without Foundationalism: A Case for Second-order Logic

OUP Oxford (9780198250296)

Logic DeMystiFied

McGraw-Hill Education (9780071701280)

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)

Line Drawing Interpretation

Springer (9781848002289) | Line Drawing Interpretation

Let's Talk About Math: The LittleCounters Approach to Building Early Math Skills

Brookes Publishing Company (9781598575897)

Introduction to Network Security

Chapman and Hall/CRC (9781584885436)

Logical Labyrinths

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

Practical Cryptography: Algorithms and Implementations Using C++

Auerbach Publications (9781482228892) | Practical Cryptography