Delivery included to the United States

Algebraic Recursion Theory

Algebraic Recursion Theory - Ellis Horwood Series in Mathematics & Its Applications.

Hardback (01 Nov 1986)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

This work is a comprehensive introduction to an intrinsic algebraic-axiomatic study of recursion theory, an important branch of mathematical logic with applications in computer science. It aims to advance a better understanding of logic and mathematics, offering a framework which unifies many diverse notations in a lucid straightforward way.;The mathematical core of the work is the theory of a specially-designed algebraic system, operative space, which relates to effective compatibility as groups relate to symmetry. In addition to formulating a number of new results, the work includes more general versions of classical theorems, furnishing them with purely algebraic proofs. The author uses appropriate spaces to achieve index-free descriptions of particular notations of effective compatibility, paving the way for conceptual and practical applications of the general theory.

Book information

ISBN: 9780130269072
Publisher: Ellis Horwood
Imprint: Ellis Horwood
Pub date:
Language: English
Number of pages: 521
Weight: 521g
Height: 246mm
Width: 174mm