BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Combinators, λ-Terms and Proof Theory
Stock photo: cover may vary

Combinators, λ-Terms and Proof Theory Hardback - 1972

by S. Stenlund

Add to wish list

Reader reviews for Combinators, λ-Terms and Proof Theory

From the publisher

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.

Details

  • Title Combinators, λ-Terms and Proof Theory
  • Author S. Stenlund
  • Binding Hardback
  • Pages 177
  • Volumes 1
  • Language ENG
  • Publisher Springer, Dordrecht
  • Publication date 1972-09-30
  • Features Bibliography
  • ISBN 9789027703057 / 9027703051
  • Weight 0.99 lbs (0.45 kg)
  • Dimensions 9.21 x 6.14 x 0.5 in (23.39 x 15.60 x 1.27 cm)
  • Category Gardening / Horticulture
  • Library of Congress Catalogue Number 72083378
  • Dewey Decimal Code 160

More Copies for Sale

Combinators,  -terms and proof theory

Combinators, -terms and proof theory

by STENLUND, Sören

  • Used
  • Hardback
Condition
ex library-good
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$28.36
A$21.27 Delivery to USA

Show details

Description:
Dordrecht: D. Reidel, 1972. Hardcover. ex library-good. 184, [3] p. 23 cm. Black cloth. Ex library with labels on spine and rear pastedown, ink stamps on top edge and title.
Add to wish list
Item price
A$28.36
A$21.27 Delivery to USA
Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

by Soren Stenlund

  • Used
  • Very good
  • Hardback
Condition
Very good
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$70.90
A$8.51 Delivery to USA

Show details

Description:
D Reidel, 1972-09-30. Hardcover. Very Good. 6x0x9. D. Reidel Publishing Company; Dordrecht, 1972. Hardcover. Very Good, navy blue cloth binding with gilt lettering on spine, binding firm, trace handling marks, mild spine edge/board corner wear, some discoloration to pastedowns/endpapers, in a Good to Very Good, some handling/rub marks, sunned spine, large chip top front panel edge, couple of large tears bottom front panel, few small tears and creases along edges, Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 184pp., indexed, bibliography. We pack securely and ship daily with delivery confirmation on every book. Please Note: Depending on site, actual book for sale may differ physically from picture listed. Additional Scan(s) are available for any item, please inquire.
Add to wish list
Item price
A$70.90
A$8.51 Delivery to USA
Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Stock photo: cover may vary

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

by Soren Stenlund

  • Used
  • Hardback
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$81.60
Free Delivery to USA

Show details

Description:
Springer, 1972-09-30. hardcover. Used: Good. 6.14x0.50x9.21. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$81.60
Free Delivery to USA
Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Stock photo: cover may vary

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

by Soren Stenlund

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$134.59
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$134.59
Free Delivery to USA
Combinators, λ-Terms and Proof Theory

Combinators, λ-Terms and Proof Theory

by S. Stenlund

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
104
Seller
Item price
A$196.57
A$15.26 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$196.57
A$15.26 Delivery to USA
Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Stock photo: cover may vary

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

by Soren Stenlund

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
6
Seller
Item price
A$167.19
Free Delivery to USA

Show details

Description:
Springer, 1972-09-30. hardcover. New. 6.14x0.50x9.21. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$167.19
Free Delivery to USA
Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Stock photo: cover may vary

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

by Soren Stenlund

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$230.64
A$8.44 Delivery to USA

Show details

Description:
D Reidel, 1972-09-30. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Add to wish list
Item price
A$230.64
A$8.44 Delivery to USA
Combinators, λ-Terms and Proof Theory
Stock photo: cover may vary

Combinators, λ-Terms and Proof Theory

by S. Stenlund

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
4
Seller
Item price
A$240.11
A$5.66 Delivery to USA

Show details

Description:
Springer , pp. 192 Index. Hardback. New.
Add to wish list
Item price
A$240.11
A$5.66 Delivery to USA
Combinators, lambda-Terms and Proof Theory (Synthese Library).
More photos

Combinators, lambda-Terms and Proof Theory (Synthese Library).

by Sören Stenlund

  • Used
  • Hardback
  • first
Condition
Condition: Fine. Clean, tight, and unmarked copy with sharp corners and bright gilt lettering. Spine square and unfaded. Pages c
Binding
Hardcover
ISBN 10 / ISBN 13
9789027703057 / 9027703051
Quantity available
1
Seller
Item price
A$1,133.06
A$14.18 Delivery to USA

Show details

Description:
Combinators, λ‑Terms and Proof Theory
Author: Sören Stenlund Series: Synthese Library (Book 92 of 304) Publisher: D. Reidel Publishing Company, Dordrecht, 1972 Language: English ISBN‑10: 9027703051 ISBN‑13: 9789027703057
Description
Combinators, λ‑Terms and Proof Theory is a foundational monograph in combinatory logic, lambda calculus, and proof theory. According to Springer, the book presents "basic ideas and results in pure combinatory logic and their applications to topics in proof theory," including material revised from Stenlund's earlier notes on combinatory logic.
The Internet Archive confirms the volume contains 184 pages, includes a bibliography, and is based on Stenlund's academic work at Uppsala University.
Core topics include:


Combinatory logic foundations


λ‑calculus and its relationship to combinators


Church–Rosser properties and reduction theory


Proof‑theoretic applications


Computable functionals and finite‑type systems


This volume remains a key reference… Read more
Add to wish list
Item price
A$1,133.06
A$14.18 Delivery to USA