Combinatory Logic : Pure, Applied and Typed, Hardcover by Bimbo, Katalin, Lik...
205,77 €
Combinatory Logic : Pure, Applied and Typed, Hardcover by Bimbo, Katalin, ISBN 1439800006, ISBN-13 9781439800003, Like New Used, Free shipping in the US Bimbó (U. of Alberta-Edmonton) finds existing references to combinatorial logic to be either much outdated or light treatments in books on related areas. She offers a state-of-the-art view of the field in the early 21st century, using the traditional labels for theorems and such, but without tracing the history of how they came to be as they are now. Her topics include main theorems, connections to lambda-calculi, dual and symmetric combinatory logics, and typed combinatory logic. Annotation ©2011 Book News, Inc., Portland, OR ()
Jetzt bei Ebay:
