Formal Methods in Computer Science
Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang
Download - Immediately Available
Format: eBook (PDF)
Boole's Logic and Probability : A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
T. Hailperin
Download - Immediately Available
Format: eBook (PDF)
The Adventure of Reason : Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Paolo Mancosu
Download - Immediately Available
Format: eBook (PDF)
Not Exactly : In Praise of Vagueness
Kees van Deemter
Download - Immediately Available
Format: eBook (EPUB)
The Moment of Proof : Mathematical Epiphanies
Donald C. Benson
Download - Immediately Available
Format: eBook (PDF)
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
Download - Immediately Available
Format: eBook (PDF)
Computer Security Literacy : Staying Safe in a Digital World
Douglas Jacobson
Download - Immediately Available
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download - Immediately Available
Format: eBook (PDF)
Making Up Your Own Mind : Thinking Effectively through Creative Puzzle-Solving
Edward B. Burger
Download - Immediately Available
Format: eBook (PDF)
How to Prove It : A Structured Approach
Daniel J. Velleman
Download - Immediately Available
Format: eBook (EPUB)
Joy of Abstraction : An Exploration of Math, Category Theory, and Life
Eugenia Cheng
Download - Immediately Available
Format: eBook (PDF)
Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti
Download - Immediately Available
Format: eBook (PDF)
Alan M. Turing : Centenary Edition
Sara Turing
Download - Immediately Available
Format: eBook (EPUB)
Large Deviations For Performance Analysis : Queues, Communication and Computing
Alan Weiss
Download - Immediately Available
Format: eBook (PDF)
How to Calculate Quickly : Full Course in Speed Arithmetic
Henry Sticker
Download - Immediately Available
Format: eBook (EPUB)
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
Download - Immediately Available
Format: eBook (EPUB)
Mathematics of Logic : A Guide to Completeness Theorems and their Applications
Richard W. Kaye
Download - Immediately Available
Format: eBook (PDF)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Conceptual Mathematics : A First Introduction to Categories
F. William Lawvere
Download - Immediately Available
Format: eBook (PDF)
