Concepts of Proof in Mathematics, Philosophy, and Computer Science
2 contributors - Hardback
£139.00
Find out more
Dieter Probst Editor
Dieter Probst, Inst. of Computer Science, U. Bern, Switzerland. Peter Schuster, Dept. of Computer Science, U. Verona, Italy.