Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Springer London : Imprint: Springer,
2011.
|
| Edición: | 1st ed. 2011. |
| Colección: | Undergraduate Topics in Computer Science,
|
| Temas: | |
| Acceso en línea: | Texto Completo |