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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English German |
| Published: |
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.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 128. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
