Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical. --- Paradox.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.

Recursion theory. --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proceedings of the August 1996 symposium on [title] addressing both theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorical, and topological approaches. Subjects covered include: finite model theory, concurrency, temporal logic and calculus, model checking, semantics and domains, lambda calculus, and complexity decidability. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Logic, Symbolic and mathematical --- Computer science --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical analysis [Nonstandard ] --- Logic [Symbolic and mathematical ]