Cargando…
Computability, complexity, logic /
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. Th...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Alemán |
| Publicado: |
Amsterdam ; New York : New York, N.Y., U.S.A.
North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co.,
1989.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 128. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Internet
Texto completoTexto completo
Texto completo