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: 72.62 GBP
Availability: InStock

Compilers

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 84 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £74 (27 days, 32.1%)

Price range: £73 - £78

Price levels: 5 different prices over 84 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

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

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)

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

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

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Computability and Logic

Lessons in Enumerative Combinatorics: 290 (Graduate Texts in Mathematics, 290)

Lessons in Enumerative Combinatorics: 290 (Graduate Texts in Mathematics, 290)

Complexity and Approximation: In Memory of Ker-I Ko: 12000 (Lecture Notes in Computer Science, 12000)

Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000: 4 (De Gruyter Series in Logic & its Applications, 4)

Combinatorics: A Guided Tour (AMS/MAA Textbooks)

Diskrete Mathematik und Mathematische Fragen der Kybernetik: 71 (Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften, 71)

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings: 5028 (Lecture Notes in Computer Science, 5028)

J. Michael Dunn on Information Based Logics: 8 (Outstanding Contributions to Logic, 8)

Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday: 12160 (Lecture Notes in Computer Science, 12160)

New Perspectives in Algebraic Combinatorics: 38 (Mathematical Sciences Research Institute Publications, Series Number 38)

LMS: 52 Combinatorics (London Mathematical Society Lecture Note Series, Series Number 52)

Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer and Information Science Series)

Surveys in Combinatorics 2009: 365 (London Mathematical Society Lecture Note Series, Series Number 365)

Computational Complexity: A Quantitative Perspective (Volume 196) (North-Holland Mathematics Studies, Volume 196)