Here, what we could find on your book search:

Ralph Matthes

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

Proof Theory in Computer Science

Proof Theory in Computer Science

Reinhard Kahle and Peter Schroeder-Heister

Check Price (10 deals)
Logic and Theory of Algorithms

Logic and Theory of Algorithms

Arnold Beckmann, Costas Dimitracopoulos and Benedikt Löwe

Check Price (7 deals)
Mathematics of Program Construction

Mathematics of Program Construction

Philippe Audebaud and Christine Paulin-Mohring

Check Price (8 deals)
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Samson Abramsky

Check Price (9 deals)
Reduction properties of π-IE-systems [pi-IE-systems]

Reduction properties of π-IE-systems [pi-IE-systems]

Felix Joachimski

Check Price (7 deals)
Computer Science Logic

Computer Science Logic

Georg Gottlob, Etienne Grandjean and Katrin Seyr

Check Price (2 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now