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...
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electronic Resource |
| Idioma: | English |
| Publicat: |
London
Springer London
2011.
|
| Matèries: | |
| Accés en línia: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |