Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Combinatory Programme

The Combinatory Programme

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
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Pathologie

$84.99

The Hurting Kind by Ada Limon

$24.00

Behavioral Interventions for Prevention and Control of Sexually Transmitted Diseases

$54.99

Creative Arts in Education and Culture

$84.99

Getting StartED with Netbooks

$19.99

Cotton Production and Uses

$199.99

Organizations Environmental Performance Indicators

$84.99

Thermal Stress Resistance of Materials

$169.99

Topology of Singular Spaces and Constructible Sheaves

$109.99

Oncoplastic Breast Surgery Techniques for the General Surgeon

$219.99

Spectral, Spatial, and Temporal Properties of Lasers

$39.99

Set Valued Dynamical Systems and Economic Flow

$54.99

Smart Device to Smart Device Communication

$109.99

Geochemistry of Marine Humic Compounds

$109.99

China Internet Development Report 2018

$109.99

Hauntology

$64.99

A Reflection on Sraffas Revolution in Economic Theory

$149.00

The Physical Basis of The Direction of Time

$54.99

No Talking

$5.96

Tetrapyrroles

$169.00

Frauen und Mnner in der zweiten Lebenshlfte

$54.99

Hearing Loss in the Elderly

$39.99

Slavery in the Sudan

$119.99

Patriots Against Fashion

$39.99

Das Paarinterview

$19.99

The Never-Ending Story of Life

$44.99

Erziehungswissenschaft, Schulorganisation und sozial bedingte Ungleichheit

$79.99

Intelligent Computer Mathematics

$39.99

Principles and Practice of Constraint Programming - CP98

$84.99

Patent Intermediaries

$169.99

Experimental and Applied Mechanics, Volume 4

$169.00

Japan in Central Asia

$54.99

Applications of Flower Pollination Algorithm and its Variants

$169.99

Teacher Education in the Nordic Region

$59.99

Whoosh! Lonnie Johnson's Super-Soaking Stream of Inventions

$5.21

Baustellenmanagement im Anlagenbau

$109.00

Topology and Geometry of Intersections of Ellipsoids in R^n

$139.00

Complexity of Interaction

$169.99

Indigenous Life Projects and Extractivism

$59.99

Macroeconomic Aspects of Aging and Retirement of College and University Teachers

$39.99