Mathematical Logic

The Art of Logic: How to Make Sense in a World that Doesn't

(9781788160391 / 55179960) - Eugenia Cheng - Main - Profile Books - Profile - Dimensions: 198 x 129 x 19 mm - Height: 199 mm - Spine width: 25 mm - Width: 130 mm - ISBN: 9781788160391 - Number of pages: 304 | Art of Logic

Constraint Processing: Selected Papers: 923 (Lecture Notes in Computer Science, 923

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

A K Peters/CRC Press (9781568812380) | Gödel's Theorem

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.

An Introduction to Symbolic Logic

Dover Publications Inc. (9780486601649)

Euclid In The Rainforest: Discovering Universal Truth in Logic and Math

Plume Books (9780452287839)

Philosophical Logic: An Introduction

Routledge (9780415023184)

Incompleteness: The Proof and Paradox of Kurt Gödel: 0

W. W. Norton & Company (9780393327601)

Foundations without Foundationalism: A Case for Second-order Logic

OUP Oxford (9780198250296)

Logic DeMystiFied

McGraw-Hill Education (9780071701280)

Schaum's Outline of Set Theory and Related Topics

McGraw-Hill Education (9780070381599)

Type Theory and Formal Proof: An Introduction

Cambridge University Press (9781107036505)

Introducing Logic: A Graphic Guide

Icon Books (9781848310124) | Introducing Logic

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science

Line Drawing Interpretation

Springer (9781848002289) | Line Drawing Interpretation

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

Introduction to Modern Cryptography

Chapman and Hall/CRC (9781466570269) | Public-key cryptography, Introduction to Modern, Introduction to Modern Cryptography, Private-key Cryptography, Treatment of private-key encryption, Public-key encryption & Ciphers and block ciphers

A Course on Mathematical Logic

Springer (9781461457459) | Course on Mathematical Logic

Reading, Writing, and Proving: A Closer Look at Mathematics

Springer (9781441994783) | Undergraduate Texts in Mathematics

Logic for Concurrency and Synchronisation

Springer (9781402012709)

Big Typescript: Ts 213

John Wiley & Sons (9781118346334) | Big Typescript

Knowledge Engineering: Building Cognitive Assistants for Evidence-based Reasoning

Cambridge University Press (9781107122567)

Basic Category Theory: 143

Cambridge University Press (9781107044241) | Basic Category Theory

The BanachTarski Paradox Encyclopedia of Mathematics and its Applications

Cambridge University Press (9781107042599)

A Beginner's Guide to Discrete Mathematics

Birkhäuser (9780817682859)

Godel's Proof

NYU Press (9780814758168)

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

God Created the Integers The Mathematical Breakthroughs That Changed History

Brand: Running Press (9780762419227) | God created

A Primer of Infinitesimal Analysis

Basic Proof Theory 2ed: 43

Cambridge University Press (9780521779111) | Basic Proof

Computability and Logic Fifth Edition

Cambridge University Press (9780521701464) | Logic Fifth Edition

Principia Mathematica to *56 2ed

Cambridge University Press (9780521626064) | Principia Mathematica