Proofs and algorithms an introduction to logic and computability
Proofs and Algorithms: An Introduction to Logic and Computability Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Comput...
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Fformat: | Electronic Resource |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
London
Springer London
2011.
|
| Pynciau: | |
| Mynediad Ar-lein: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |