Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability - Mathematics & Its Applications: East European Series v. 55 (Hardback)
  • Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability - Mathematics & Its Applications: East European Series v. 55 (Hardback)
zoom

Computability in Combinatory Spaces: An Algebraic Generalization of Abstract First Order Computability - Mathematics & Its Applications: East European Series v. 55 (Hardback)

(author)
£142.50
Hardback 336 Pages / Published: 01/04/1992
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This volume provides an account of the current state of the theory of combinatory spaces and discusses various applications. Here the term "combinatory space" can be regarded as a system for functional programming and bears no close connection with combinatory logic. The main chapter is divided into three chapters. Chapter 1 deals with computational structures and computability; Chapter 2 considers combinatory spaces; and Chapter 3 embraces computability in iterative combinatory spaces. A number of appendices treats a survey of examples of combinatory spaces. All sections of the chapters contain exercises together with hints for solution where appropriate. For the reading of some parts of the book a knowledge of mathematical logic and recursive function theory would be desirable. The text is mainly aimed at researchers and specialists of mathematical logic and its applications, as well as theoretical computer scientists.

Publisher: Kluwer Academic Publishers
ISBN: 9780792315766
Number of pages: 336
Weight: 760 g

You may also be interested in...

Logic
Added to basket
£10.99
Paperback
First-order Logic
Added to basket
How to Prove It
Added to basket
Godel's Proof
Added to basket
£11.99
Paperback
Set Theory and its Philosophy
Added to basket
Measurements and their Uncertainties
Added to basket
Sets, Logic and Categories
Added to basket
Foundation Mathematics for Biosciences
Added to basket
Equation That Couldn't be Solved
Added to basket
The Foundations of Mathematics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.