The Combinatory Programme Image close
The Combinatory Programme on Hardback by Erwin Engeler
The Combinatory Programme on Hardback by Erwin Engeler
Show Hide Adult Content
The Combinatory Programme close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

The Combinatory Programme

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$287.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $71.75 with Afterpay Learn more

6 weekly interest-free payments of $47.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 9-19 July using International Courier

Explore more Progress in Theoretical Computer Science

See all products in this series

Interpolating Cubic Splines on Hardback by Gary D. Knott
$264.00
Interpolating Cubic Splines
by Gary D. Knott ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms for Random Generation and Counting: A Markov Chain Approach on Hardback by A Sinclair
$287.00
Algorithms for Random Generation and Counting: A Markov Chain Approach
by A Sinclair ~ Hardback
Available - Usually ships in 3-4 weeks
Neural Networks and Analog Computation by Hava T. Siegelmann
$431.00
Neural Networks and Analog Computation
by Hava T. Siegelmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms for Random Generation and Counting: A Markov Chain Approach by A Sinclair
$287.00
Algorithms for Random Generation and Counting: A Markov Chain Approach
by A Sinclair ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Graph Isomorphism Problem by J. Kobler
$287.00
The Graph Isomorphism Problem
by J. Kobler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nondeterminism in Algebraic Specifications and Algebraic Programs by Hussmann
$148.00
Nondeterminism in Algebraic Specifications and Algebraic Programs
by Hussmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algol-like Languages by Peter O'Hearn
$290.00
Algol-like Languages
by Peter O'Hearn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algol-like Languages by Peter O'Hearn
$288.00
Algol-like Languages
by Peter O'Hearn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Categorical Combinators, Sequential Algorithms, and Functional Programming on Hardback by P-.L. Curien
$314.00
Categorical Combinators, Sequential Algorithms, and Functional...
by P-.L. Curien ~ Hardback
Available - Usually ships in 3-4 weeks
Logic of Domains on Hardback by G Zhang
$290.00
Logic of Domains
by G Zhang ~ Hardback
Available - Usually ships in 3-4 weeks
Polynomial and Matrix Computations by Dario Bini
$444.00
Polynomial and Matrix Computations
by Dario Bini ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic of Domains by G Zhang
$287.00
Logic of Domains
by G Zhang ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Subrecursive Programming Systems on Hardback by James S. Royer
$303.00
Subrecursive Programming Systems
by James S. Royer ~ Hardback
Available - Usually ships in 3-4 weeks
Finite Automata, Formal Logic, and Circuit Complexity on Hardback by Howard Straubing
$289.00
Finite Automata, Formal Logic, and Circuit Complexity
by Howard Straubing ~ Hardback
Available - Usually ships in 3-4 weeks
Complexity Theory of Real Functions by K Ko
$263.00
Complexity Theory of Real Functions
by K Ko ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Isomorphisms of Types by Roberto DiCosmo
$148.00
Isomorphisms of Types
by Roberto DiCosmo ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The purpose of the programme in combinatory logic is to rework the mathematical foundations of computer science on a theory of pure thought. It begins from the idea that, if logic is to be the science of correctly dealing with thought-objects, the underlying theory must be in some sense a part of, or at least a preliminary to, its structure, ie, a protologic. From this idea a combinatory algebra is constructed, using a programmatic mixture of the classical axiomatic and set-theoretic approaches. This text shows that sufficiently rich combinatory algebras can serve as a platform from which to develop the algorithmic aspects of many areas in computer science, mathematics and their applications. It should be of interest to those studying universal algebra, logic and computer algebra.
Release date NZ
November 1st, 1994
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Assisted by B. Amrhein
  • Assisted by D. Otth
  • Assisted by G. Schwarzler
  • Assisted by K. Aberer
  • Assisted by M. V. Mohrenschildt
  • Assisted by O. Gloor
  • Assisted by T. Weibel
Illustrations
VIII, 144 p.
Pages
144
Dimensions
156x234x11
ISBN-13
9780817638016
Product ID
2528597

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Erwin Engeler

See all books by this author

Foundations of Mathematics by Erwin Engeler
$148.00
Foundations of Mathematics
by Erwin Engeler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Combinatory Programme by Erwin Engeler
$287.00
The Combinatory Programme
by Erwin Engeler ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Berechnungstheorie Fur Informatiker on Paperback by Erwin Engeler
$131.00
Berechnungstheorie Fur Informatiker
by Erwin Engeler ~ Paperback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Algebra
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation