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...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
North-Holland
1989
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/217309 |