Here, what we could find on your book search:

Herman Geuvers

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).

Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt and Herman Geuvers

Check Price (7 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Herman Geuvers and Freek Wiedijk

Check Price (6 deals)
The French School of Programming

The French School of Programming

Bertrand Meyer

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

Theorem Proving in Higher Order Logics

David Basin and Burkhart Wolff

Check Price (1 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Masahito Hasegawa

Check Price (3 deals)
Computational Logic

Computational Logic

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

Check Price (5 deals)
Logics and Type Systems in Theory and Practice

Logics and Type Systems in Theory and Practice

Venanzio Capretta, Robbert Krebbers and Freek Wiedijk

Check Price (9 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Hendrik Pieter Barendregt and Tobias Nipkow

Check Price (6 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Paul Callaghan, Zhaohui Luo, James McKinna and Robert Pollack

Check Price (3 deals)
Types for Proofs and Programs

Types for Proofs and Programs

Thorsten Altenkirch

Check Price (1 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now