Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

The Combinatory Programme

Best Price (Coupon Required):
Buy The Combinatory Programme for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$84.99 $84.99

10% OFF
This deals requires coupon
$76.50
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817638016
Condition
New
Product 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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Mathematical Analysis II: Optimisation, Differential Equations and Graph Theory

Mathematical Analysis II: Optimisation, Differential Equations and Graph Theory

$84.99
Computational Surface and Roundness Metrology

Computational Surface and Roundness Metrology

$129.00
Recent Advances in Civil Engineering

Recent Advances in Civil Engineering

$279.99
Stochastische Risikomodellierung und statistische Methoden

Stochastische Risikomodellierung und statistische Methoden

$44.99
The Value of Foreign Language Learning

The Value of Foreign Language Learning

$69.99
Practical Techniques of Carotid Endarterectomy

Practical Techniques of Carotid Endarterectomy

$119.99
Structural Optimization

Structural Optimization

$89.00
Supply Chain Management

Supply Chain Management

$129.99
Handbook of Data Intensive Computing

Handbook of Data Intensive Computing

$169.99
Martin's Big Words (Hardcover)

Martin's Big Words (Hardcover)

$17.99
Landscape Pattern Analysis for Assessing Ecosystem Condition

Landscape Pattern Analysis for Assessing Ecosystem Condition

$169.99
Funkenerosion mit statischen Impulsgeneratoren

Funkenerosion mit statischen Impulsgeneratoren

$59.99
Myocardial Protection and the KATP Channel

Myocardial Protection and the KATP Channel

$129.00
Philosophical Dimensions of Logic and Science

Philosophical Dimensions of Logic and Science

$169.99
Hormone Therapy and Castration Resistance of Prostate Cancer

Hormone Therapy and Castration Resistance of Prostate Cancer

$169.99
Harry Potter Coloring Book

Harry Potter Coloring Book

$11.99
Characterization of Plant Viruses

Characterization of Plant Viruses

$249.99
Portraits of Irish Art in Practice

Portraits of Irish Art in Practice

$119.99
Collaborative Research Design

Collaborative Research Design

$179.99
Laparoscopy in Children

Laparoscopy in Children

$119.00
Multi-state System Reliability Analysis and Optimization for Engineers and Industrial Managers

Multi-state System Reliability Analysis and Optimization for Engineers and Industrial Managers

$249.99
Transition Metal and Rare Earth Compounds III

Transition Metal and Rare Earth Compounds III

$259.00
Migration Literature and Hybridity

Migration Literature and Hybridity

$54.99
Nutritional and Toxicological Consequences of Food Processing

Nutritional and Toxicological Consequences of Food Processing

$219.99
Who Is Getting Married?

Who Is Getting Married?

$3.71
Gender and Political Recruitment

Gender and Political Recruitment

$39.99
The Mitotic Spindle

The Mitotic Spindle

$169.99
Claudia and Mean Janine: A Graphic Novel: Full-Color Edition (The Baby-Sitters Club #4) (Hardcover)

Claudia and Mean Janine: A Graphic Novel: Full-Color Edition (The Baby-Sitters Club #4) (Hardcover)

$18.74
Equilibrium Facility Location on Networks

Equilibrium Facility Location on Networks

$109.99
Time Reversal Acoustics

Time Reversal Acoustics

$199.99
CT Scan Generated Material Twins for Composites Manufacturing in Industry 4.0

CT Scan Generated Material Twins for Composites Manufacturing in Industry 4.0

$109.99
Vocabulary Packets: Greek & Latin Roots

Vocabulary Packets: Greek & Latin Roots

$8.99
Lebensqualitt produzieren

Lebensqualitt produzieren

$44.99
Vorlesung ber Mechanik

Vorlesung ber Mechanik

$59.99
Regional Competitiveness Towards Climate Change

Regional Competitiveness Towards Climate Change

$99.00
Voices in the History of Madness

Voices in the History of Madness

$119.00
Recombinant Protein Expression in Mammalian Cells

Recombinant Protein Expression in Mammalian Cells

$179.99
Sustainable Automotive Technologies 2014

Sustainable Automotive Technologies 2014

$84.99
Internet of Everything for Smart City and Smart Healthcare Applications

Internet of Everything for Smart City and Smart Healthcare Applications

$149.00
Foundations of ARM64 Linux Debugging, Disassembling, and Reversing

Foundations of ARM64 Linux Debugging, Disassembling, and Reversing

$54.99
previous
next