Combinators, λ-Terms and Proof Theory Image close
Combinators, λ-Terms and Proof Theory by S. Stenlund
Combinators, λ-Terms and Proof Theory by S. Stenlund
Show Hide Adult Content
Combinators, λ-Terms and Proof Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Humanities  
Philosophy  
Topics in philosophy  
Logic

Combinators, λ-Terms and Proof Theory

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

By:

Format:

Paperback / softback
$260.99
RRP:
$307.95 save $46.96
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

Buy Now, Pay Later with:

4 payments of $65.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Synthese Library,

See all products in this series

From Instrumentalism to Constructive Realism on Hardback by Theo A.F. Kuipers Save $38
$404.99
$443.95
From Instrumentalism to Constructive Realism
by Theo A.F. Kuipers ~ Hardback
Available - Usually ships in 3-4 weeks
First-Order Modal Logic by M Fitting
$594.99
First-Order Modal Logic
by M Fitting ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nominalism and Contemporary Nominalism on Hardback by M Gosselin Save $134
$263.99
$398.95
Nominalism and Contemporary Nominalism
by M Gosselin ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Truth and the Modalities on Hardback by J.N. Mohanty Save $65
$275.99
$341.95
Logic, Truth and the Modalities
by J.N. Mohanty ~ Hardback
Available - Usually ships in 3-4 weeks
The Logic of Time on Hardback by Johan Van Benthem Save $39
$403.99
$443.95
The Logic of Time
by Johan Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
The Logic of Intentional Objects on Hardback by Jacek Pasniczek Save $124
$261.99
$386.95
The Logic of Intentional Objects
by Jacek Pasniczek ~ Hardback
Available - Usually ships in 3-4 weeks
Knowledge Contributors on Hardback Save $79
$261.99
$341.95
Knowledge Contributors
Hardback
Available - Usually ships in 3-4 weeks
Truth in Fiction on Hardback by John Woods
$262.99
Truth in Fiction
by John Woods ~ Hardback
Available - Usually ships in 3-4 weeks
Essays on Mathematical and Philosophical Logic Save $52
$520.99
$573.95
Essays on Mathematical and Philosophical Logic
Paperback / softback
Available - Usually ships in 3-4 weeks
The Limits of Logical Empiricism on Hardback Save $186
$538.99
$725.95
The Limits of Logical Empiricism
Hardback
Available - Usually ships in 3-4 weeks
Logic and Probability in Quantum Mechanics on Hardback Save $64
$524.99
$589.95
Logic and Probability in Quantum Mechanics
Hardback
Available - Usually ships in 3-4 weeks
Probability Theory Save $46
$260.99
$307.95
Probability Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
The Dynamics of Thought by Peter Gardenfors Save $210
$514.99
$725.95
The Dynamics of Thought
by Peter Gardenfors ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Truth and the Modalities by J.N. Mohanty Save $80
$260.99
$341.95
Logic, Truth and the Modalities
by J.N. Mohanty ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Refined Verisimilitude on Hardback by S.D. Zwart Save $77
$263.99
$341.95
Refined Verisimilitude
by S.D. Zwart ~ Hardback
Available - Usually ships in 3-4 weeks
Degrees of Belief on Hardback Save $217
$266.99
$484.95
Degrees of Belief
Hardback
Available - Usually ships in 3-4 weeks

Description

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen­ tation in my notes is inaccurate in several respects. I would like to express my gratitude to Stig Kanger for his invalu­ able advice and encouragement and also for his assistance in a wide variety of matters concerned with my study in Uppsala. I am also in­ debted to Per Martin-USf for many valuable and instructive conversa­ tions. As will be seen in chapter 4 and 5, I also owe much to the work of Dag Prawitz and W. W. Tait. My thanks also to Craig McKay who read the manuscript and made valuable suggestions. I want, however, to emphasize that the shortcomings that no doubt can be found, are my sole responsibility. Uppsala, February 1972.
Release date Australia
October 12th, 2011
Author
Audience
  • Professional & Vocational
Illustrations
X, 177 p.
Pages
177
Dimensions
156x234x10
ISBN-13
9789401029155
Product ID
21700996

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 S. Stenlund

See all books by this author

Combinators, λ-Terms and Proof Theory on Hardback by S. Stenlund Save $79
$261.99
$341.95
Combinators, λ-Terms and Proof Theory
by S. Stenlund ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Humanities >
Philosophy >
Topics in philosophy >
Logic
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic