Logical concepts and methods are of growing importance in many areas of computer science. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure.
Read More
Logical concepts and methods are of growing importance in many areas of computer science. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure.
Read Less
Add this copy of Proof and Computation to cart. $103.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer.
Add this copy of Proof and Computation to cart. $131.62, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2011 by Springer.
