Here, what we could find on your book search:

Helmut Schwichtenberg

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

Proofs and Computations

Proofs and Computations

Helmut Schwichtenberg and Stanley S. Wainer

Check Price (8 deals)
Logic and Algebra of Specification

Logic and Algebra of Specification

Friedrich L Bauer, Wilfried Brauer and Helmut Schwichtenberg

Check Price (10 deals)
Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Douglas Bridges, Hajime Ishihara, Michael Rathjen and Helmut Schwichtenberg

Check Price (4 deals)
Logic and Scientific Methods

Logic and Scientific Methods

Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici and Johan van Benthem

Check Price (2 deals)
Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Dieter Probst and Peter Schuster

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

The Seventeen Provers of the World

Freek Wiedijk

Check Price (3 deals)
Logic, Construction, Computation

Logic, Construction, Computation

Ulrich Berger, Hannes Diener, Peter Schuster and Monika Seisenberger

Check Price (10 deals)
Logic Colloquium 2005

Logic Colloquium 2005

Costas Dimitracopoulos

Check Price (10 deals)
Prospects for Hardware Foundations

Prospects for Hardware Foundations

Bernhard Möller and John V. Tucker

Check Price (1 deals)
Logic of Computation

Logic of Computation

Helmut Schwichtenberg

Check Price (4 deals)
Proof and Computation

Proof and Computation

Helmut Schwichtenberg

Check Price (1 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free