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...
| Príomhchruthaitheoir: | |
|---|---|
| Údar corparáideach: | |
| Formáid: | Electronic Resource |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
London
Springer London
2011.
|
| Ábhair: | |
| Rochtain ar líne: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |