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: | Book |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2011
|
| Edition: | First edition 2011 |
| Series: | Computer Science (Springer-11645)
Undergraduate topics in computer science |
| Subjects: |