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: | Dowek, Gilles. |
|---|---|
| Other Authors: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
London ; New York :
Springer,
©2011.
London ; New York : [2011] |
| Physical Description: |
1 online resource (xii, 155 pages). |
| Series: |
Undergraduate topics in computer science.
|
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |