Computer Arithmetic and Formal Proofs

Arithmetic and Logic in Computer Systems

Digital Computer Arithmetic: Design and Implementation

Metamathematics of First-order Arithmetic

Bounded Arithmetic, Propositional Logic and Complexity Theory

Computer-Aided Verification '90

Pre-Owned Computer Arithmetic: Algorithms and Hardware Designs (The Oxford Series in Electrical and Computer Engineering)

Computer Arithmetic Algorithms, Second Edition

Concise Guide to Computation Theory (Hardcover)

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Handbook of Floating-point Arithmetic

Pre-Owned Discrete Mathematics for Computer Science (Hardcover) 053449501X 9780534495015

Mathematical Foundations of Computer Science 2009 (Paperback)

Proofs: A Long-Form Mathematics Textbook (The Long

Proof Complexity

essential algorithms a practical approach to computer algorithms

Mathematical Foundations of Computer Science

Monographs in Computer Science Adapting Proofs-As-Programs: The Curry--Howard Protocol (Paperback)

Math Triumphs, Grade 5, Student Study Guide, Book 1: Number and Operations and Algebra

Brief Compendium of Arithmetic : Illustrated by Concise and Easy Rules

Engineers Research and Computation Book (Paperback)

Math Triumphs, Grade 2, Student Study Guide, Book 2: Number and Operations and Algebra

Mathematics for Algorithm and Systems Analysis

Mathematics for Algorithm and Systems Analysis

Science Of Learning Mathematical Proofs, The: An Introductory Course

Pre-Owned Introduction to Computation and Programming Using Python (Paperback) 0262525003 9780262525008

Pre-Owned Cambridge Tracts in Theoretical Computer Basic Proof Theory Book 43 (Paperback)

Book of Proof

Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition

Proof Technology in Mathematics Research and Teaching.

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)

Logic Synthesis and Verification Algorithms