BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER

ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER

ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER
Stock photo: cover may vary

ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER Hardback - 1994

by Erwin Engeler (Editor)

Add to wish list
  • Used
  • very good
  • Hardback
Used - Very good

Description

World Scientific Publishing Comp, 1/1/1994 12:00:01 AM. hardcover. Very Good. 0.7992 in x 10.0984 in x 6.5984 in.
Ask the seller a question Add to wish list
A$21.02
A$5.82 Delivery within USA
Standard delivery: 2 to 8 days
More delivery options
Ships from Suffolk Books Inc (New York, United States)

Details

  • Title ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER
  • Author Erwin Engeler (Editor)
  • Binding Hardback
  • Condition Used - Very good
  • Pages 268
  • Volumes 1
  • Language ENG
  • Publisher World Scientific Publishing Comp
  • Publication date 1/1/1994 12:00:01 AM
  • Illustrated Yes
  • Features Bibliography, Illustrated
  • Bookseller's Inventory # 3TWOWA002JM0
  • ISBN 9789810208721 / 9810208723
  • Weight 1.32 lbs (0.60 kg)
  • Dimensions 9.88 x 6.82 x 0.82 in (25.10 x 17.32 x 2.08 cm)
  • Size 0.7992 in x 10.0984 in x 6.5984
  • Category Mathematics
  • Library of Congress Catalogue Number 94174264
  • Dewey Decimal Code 512.3
  • Quantity available 2

About Suffolk Books Inc New York, United States

Biblio member since 2021

Used Book sellers for over 20 years

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Suffolk Books Inc

Reader reviews for ALGORITHMIC PROPERTIES OF STRUCTURES: SELECTED PAPERS OF E ENGELER

From the publisher

The work of Erwin Engeler in the logic and algebra of computer science has been influential but has become difficult to access because it has appeared in different types of publications. This collection of selected papers is therefore timely and useful. It represents an original and coherent approach to the basic interrelationships between mathematics and computer science.The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt with by expanding these structures into combinatory algebras.

First line

What motivated my involvement with the theory of computation beginning in the mid-sixties?
tracking-