Non-standard Analysis

Non-standard Analysis

(9780691044903 / 52055)
Mathematical Logic

Mathematical Logic

(9780470280744)
An Introduction to Substructural Logics

An Introduction to Substructural Logics

(9780415215343) | Substructural logics
Quantum Groups: A Path To Current Algebra: 19

Quantum Groups: A Path To Current Algebra: 19

(9780521695244) | Quantum Groups
A New Introduction to Modal Logic

A New Introduction to Modal Logic

(9780415126007 / 9780415126007)
Access Control, Security and Trust: A Logical Approach

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.
Set Theory and Logic

Set Theory and Logic

(9780486638294)
How to Prove It A Structured Approach

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
Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery

Lakatos Imre (9781107534056 / 27 b/w illus. 2 tables)
Category Theory

Category Theory

(9780199237180)
An introduction to mathematical reasoning numbers sets and functions

An introduction to mathematical reasoning numbers sets and functions

(9780521597180) - Height: 227 mm - Spine width: 18 mm - Width: 152 mm - Cambridge University Press - ISBN: 9780521597180 - Number of pages: 350 - Languages: English - Weight: 524 g
A Course on Set Theory

A Course on Set Theory

Cambridge University Press (9781107400481)
Philosophical Logic: An Introduction

Philosophical Logic: An Introduction

Routledge (9780415023184)
Modelling Computing Systems: Mathematics for Computer Science

Modelling Computing Systems: Mathematics for Computer Science

Springer (9781848003217) | Computer Science
Line Drawing Interpretation

Line Drawing Interpretation

Springer (9781848002289) | Line Drawing Interpretation
Introduction to Network Security

Introduction to Network Security

Chapman and Hall/CRC (9781584885436)
Logical Labyrinths

Logical Labyrinths

A K Peters/CRC Press (9781568814438) | Logical Labyrinths
Practical Cryptography: Algorithms and Implementations Using C++

Practical Cryptography: Algorithms and Implementations Using C++

Auerbach Publications (9781482228892) | Practical Cryptography
Reading, Writing, and Proving: A Closer Look at Mathematics

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

Springer (9781441994783) | Undergraduate Texts in Mathematics
A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathematics

Birkhäuser (9780817682859)
The A to Z of Logic: 169

The A to Z of Logic: 169

Scarecrow Press (9780810875968) | Z of Logic
Multi-Criteria Decision Making Methods: A Comparative Study

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

Set Theory for the Working Mathematician: 39

Cambridge University Press (9780521594653)
The Logic of Provability

The Logic of Provability

Cambridge University Press (9780521483254)