Combinatory Logic

124 books
Recursive programming techniquesWilliam H. Burge
⏱ 4h 37m

Recursive programming techniques

William H. Burge

1975277 pp.
[Lambda]-calculus and combinatorsJ. Roger Hindley
⏱ 5h 58m

[Lambda]-calculus and combinators

J. Roger Hindley

2008358 pp.
Schaum's outline of theory and problems of discrete mathematicsSeymour Lipschutz
⏱ 8h 21m

Schaum's outline of theory and problems of discrete mathematics

Seymour Lipschutz

1976501 pp.
The Combinatory Programme (Progress in Theoretical Computer Science)Erwin Engeler
⏱ 2h 29m

The Combinatory Programme (Progress in Theoretical Computer Science)

Erwin Engeler

1994149 pp.
Discrete mathematicsMarc Lipson
⏱ 2h 0m

Discrete mathematics

Marc Lipson

2003120 pp.
Introduction to combinators and [lambda]-calculusJ. Roger Hindley
⏱ 6h 0m

Introduction to combinators and [lambda]-calculus

J. Roger Hindley

1986360 pp.
Schaum's Outline of Discrete Mathematics, 3rd Ed. (Schaum's Outlines)Seymour Lipschutz
⏱ 7h 54m

Schaum's Outline of Discrete Mathematics, 3rd Ed. (Schaum's Outlines)

Seymour Lipschutz

2007474 pp.
Studies in Logic and the Foundations of Mathematics, 65Haskell B. Curry
⏱ 8h 55m

Studies in Logic and the Foundations of Mathematics, 65

Haskell B. Curry

1972535 pp.
Elements of combinatory logicFrederic B. Fitch
⏱ 2h 42m

Elements of combinatory logic

Frederic B. Fitch

1974162 pp.
Introduction to combinatory logicSören Stenlund
⏱ 1h 44m

Introduction to combinatory logic

Sören Stenlund

1971104 pp.
On the interpretation of terms without a normal formH. P. Barendregt
⏱ 18m

On the interpretation of terms without a normal form

H. P. Barendregt

197118 pp.
Die Ars generalis ultima des Raymundus LullusWerner Künzel
⏱ 2h 50m

Die Ars generalis ultima des Raymundus Lullus

Werner Künzel

1991170 pp.
Optimization Methods for Logical InferenceVijay Chandru
⏱ 6h 5m

Optimization Methods for Logical Inference

Vijay Chandru

2011365 pp.
Ordered SetsBernd Schröder
⏱ 6h 58m

Ordered Sets

Bernd Schröder

2002418 pp.
Studies in illative combinatory logicJ. P. Seldin
⏱ 2h 30m

Studies in illative combinatory logic

J. P. Seldin

1968150 pp.
Algebra, Logic and CombinatoricsShaun Bullett
⏱ 3h 0m

Algebra, Logic and Combinatorics

Shaun Bullett

2016180 pp.
A Beginner's Guide to Discrete MathematicsW. D. Wallis
⏱ 6h 46m

A Beginner's Guide to Discrete Mathematics

W. D. Wallis

2002406 pp.
Algebra of proofsM. E. Szabo
⏱ 5h 4m

Algebra of proofs

M. E. Szabo

1978304 pp.
Introduction to combinatory logicJ. Roger Hindley
⏱ 2h 50m

Introduction to combinatory logic

J. Roger Hindley

1972170 pp.
Combinatory logicHaskell B. Curry

Combinatory logic

Haskell B. Curry

1958No page data
Page 1 of 7Next →