Proofs and Algorithms : An Introduction to Logic and Computability /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Londres, Inglaterra :
Springer,
2011, c2011
|
| Colección: | (Undergraduate Topics in Computer Science)
|
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Proofs and Algorithms :
- Lectures on Proof Verification and Approximation Algorithms /
- Proof, Computation and Agency : Logic at the Crossroads /
- A Proof Theory for Description Logics /
- Proofs and Refutations : The Logic of Mathematical Discovery /
- Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic /
- WFF'N PROOF: THE GAME OF MODERN LOGIC/