Here, what we could find on your book search:

Freek Wiedijk

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Computational Logic

Computational Logic

Dov M. Gabbay, Jörg H. Siekmann and John Woods

Check Price (10 deals)
Metamath: A Computer Language for Mathematical Proofs

Metamath: A Computer Language for Mathematical Proofs

Norman Megill and David A. Wheeler

Check Price (9 deals)
Mathematical Reasoning: The History and Impact of the DReaM Group

Mathematical Reasoning: The History and Impact of the DReaM Group

Gregory Michaelson

Check Price (9 deals)
Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

David Basin and Burkhart Wolff

Check Price (5 deals)
Reflections on the Foundations of Mathematics

Reflections on the Foundations of Mathematics

Stefania Centrone, Deborah Kant and Deniz Sarikaya

Check Price (7 deals)
Intelligent Computer Mathematics

Intelligent Computer Mathematics

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo and Alan P. Sexton

Check Price (2 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Paul Callaghan, Zhaohui Luo, James McKinna and Robert Pollack

Check Price (5 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn

Check Price (10 deals)
The Seventeen Provers of the World

The Seventeen Provers of the World

Freek Wiedijk

Check Price (3 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free