9780792315766 - computability in combinatory spaces: an algebraic generalization of abstract first order computability: v. 55 (mathematics & its applications: east european series) von skordev, dimiter g. (6 Ergebnisse)

Hardcover. Zustand: Very Good. 1st Edition. 320 pages, a near fine hbk, publisher's laminated blue boards (no jacket required). It is an ex-library book with absolute minimal evidence, and has clearly been rarely used. [0792315766].

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 text 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 treat a survey of examples of combinatory spaces. All sections of the various chapters contain exercices togethers 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. For researchers and specialists in mathematical logic and its applications and theoretical computer scientists.…

Zustand: New. In.

Hardcover. Zustand: Brand New. subsequent edition. 342 pages. 9.20x6.40x1.10 inches. In Stock.

Gebunden. Zustand: New. 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 combina.

Zustand: New. pp. 336.