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...

Full description

Bibliographic Details

Main Author:	Börger, E. (Egon), 1946-
Corporate Author:	ScienceDirect (Online service)
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:	Computable functions. Computational complexity. Logic, Symbolic and mathematical. Fonctions calculables. Complexité de calcul (Informatique) Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Computable functions Computational complexity Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book