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 Erwin Engeler

Algorithmic Properties of Structures Selected Papers of Erwin Engeler

Algorithmic Properties of Structures Selected Papers of Erwin Engeler
Stock photo: cover may vary

Algorithmic Properties of Structures Selected Papers of Erwin Engeler Hardback - 1993

by Engeler, Erwin

Add to wish list
  • Used
  • Hardback
Used - Very Good with no dust jacket

Description

New Jersey: World Scientific, 1993. Hardcover. Very Good with no dust jacket. 257 pages. spine label removed with remnants showing. sticker on rear cover and last page, pocket on inside rear cover, page edges stamped and stamped on inside front cover and last page, also stamped 'withdrawn'. ; Ex University Library; 6 5/8 x 10
Ask the seller a question Add to wish list
A$36.49
A$9.49 Delivery within USA
Standard delivery: 5 to 14 days
More delivery options
Ships from Chequamegon Book Company (Wisconsin, United States)
Biblio Top Seller
The BIBLIO Guarantee

Details

  • Title Algorithmic Properties of Structures Selected Papers of Erwin Engeler
  • Author Engeler, Erwin
  • Binding Hardback
  • Condition Used - Very Good with no dust jacket
  • Pages 268
  • Volumes 1
  • Language ENG
  • Publisher World Scientific, New Jersey
  • Publication date 1993
  • Illustrated Yes
  • Features Bibliography, Illustrated
  • Bookseller's Inventory # 97742
  • 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)
  • Category Mathematics
  • Library of Congress Catalogue Number 94174264
  • Dewey Decimal Code 512.3
  • Quantity available 1

About Chequamegon Book Company Wisconsin, United States

Specialising in: Art, Math, Music, Native American Studies, Natural History, Poetry
Biblio member since 2018

Large open shop with over 80,000 books. 40 years in the book business. Scholarly emphasis with especially strong holdings in Native American Studies, Art, Music, History, Natural Science, Math, Poetry and Languages etc. Feel free to contact us with your book wants.

Terms of Sale:

Returns accepted on books not as described for full refund including shipping. Returns accepted on not wanted books allowing only for the cost of the book, not shipping. No refunds after 30 days.

Browse books from Chequamegon Book Company

Reader reviews for Algorithmic Properties of Structures Selected Papers of Erwin Engeler

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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?

Please wait a moment while we load the requested page.

tracking-