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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2011.
|
| Series: | Undergraduate Topics in Computer Science,
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
