Helmut Schwichtenberg

Helmut Schwichtenberg is the author of "Computational Logic", "Proofs and Computations", "Logic and Algebra of Specification" and "Computer Science Logic".

Books by Helmut Schwichtenberg

Proofs and Comput...
Schwichtenberg, Hel...
Digital (delivered electronically): $165.00

Logic and Algebra...
Bauer Friedrich L.
Electronic book text: $219.00

Proof and Computa...
Schwichtenberg Helm...
Paperback:

Computer Science ...
Workshop on Compute...
Paperback: $109.99