The Combinatory Programme (Progress in Theoretical Computer Science) - Image 1

£77.89

Birkhauser The Combinatory Programme (Progress in Theoretical Computer Science)

Name: The Combinatory Programme (Progress in Theoretical Computer Science)
Brand: Birkhauser
Price: 77.89 GBP
Availability: InStock

Compilers

This is the most expensive it has ever been. Walk away.

£78 today · previous high £78 · all-time low £74

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £78 (24 days, 63.2%)

Price range: £74 - £78

Price levels: 2 different prices over 38 days

Description

Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is presented here in the hope that it does justice to the individual contributor and that the reader has a chance of judging the work as a whole. E. Engeler ETH Zurich, April 1994 lCollected in Chapter III, An Algebraization of Algorithmics, in Algorithmic Properties of Structures, Selected Papers of Erwin Engeler, World Scientific PubJ. Co. , Singapore, 1993, pp. 183-257. I Historical and Philosophical Background Erwin Engeler In the fall of 1928 a young American turned up at the Mathematical Institute of Gottingen, a mecca of mathematicians at the time; he was a young man with a dream and his name was H. B. Curry. He felt that he had the tools in hand with which to solve the problem of foundations of mathematics mice and for all. His was an approach that came to be called "formalist" and embodied that later became known as Combinatory Logic.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 1461287162
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 23 November 2011
Listed Since: 12 July 2012

Barcode

No barcode data available

Birkhauser The Combinatory Programme (Progress in Theoretical Computer Science)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Combinators, λ-Terms and Proof Theory: 42 (Synthese Library, 42)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Formal Languages, Automata and Numeration Systems 2: Applications to Recognizability and Decidability (Iste)

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Combinatorial Geometry and Its Algorithmic Applications: The Alcala Lectures (Mathematical Surveys and Monographs)

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings: 3526 (Lecture Notes in Computer Science, 3526)

The Foundations of Computability Theory

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)

Combinatorial Programming: Methods and Applications: Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, ... 1974: 19 (Nato Science Series C:, 19)

A First Course in Enumerative Combinatorics (Pure and Applied Undergraduate Texts)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Combinatorics: Ancient & Modern

COMBINATORICS: ANCIENT & MODERN PAPER: Ancient & Modern

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume: 26 (Progress in Computer Science and Applied Logic, 26)

Springer - Patterns in Permutations and Words Book

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts (Undergraduate Topics in Computer Science)

Combinatorics '86: Proceedings of the International Conference on Incidence Geometries and Combinatorial Structures Passo Della Mendola, Trento, Italy, 30 June-5 July, 1986

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)

George E. Andrews 80 Years of Combinatory Analysis (Trends in Mathematics)

Applied Combinatorics, Third Edition (Discrete Mathematics and Its Applications)