Combinatory Logic

124 books
Kombinatornye prostranstva i rekursivnostʹ v nikhDimitŭr Genchev Skordev
⏱ 7h 34m

Kombinatornye prostranstva i rekursivnostʹ v nikh

Dimitŭr Genchev Skordev

1980454 pp.
Some extensional term models for combinatory logics and [lambda]-calculiH. P. Barendregt
⏱ 2h 20m

Some extensional term models for combinatory logics and [lambda]-calculi

H. P. Barendregt

1971140 pp.
Combinators, l-terms and proof theorySören Stenlund
⏱ 3h 4m

Combinators, l-terms and proof theory

Sören Stenlund

1972184 pp.
Computability in combinatory spacesDimitŭr Genchev Skordev
⏱ 5h 20m

Computability in combinatory spaces

Dimitŭr Genchev Skordev

1992320 pp.
Discrete mathematics and theoretical computer scienceUnknown Author
⏱ 5h 1m

Discrete mathematics and theoretical computer science

Unknown Author

2003301 pp.
Combinatorics and ReasoningCarolyn A. Maher
⏱ 3h 46m

Combinatorics and Reasoning

Carolyn A. Maher

2010226 pp.
Combinatorial Algorithms on WordsAlberto Apostolico
⏱ 6h 11m

Combinatorial Algorithms on Words

Alberto Apostolico

2012371 pp.
A Beginner's Guide to Graph TheoryW.D. Wallis
⏱ 4h 20m

A Beginner's Guide to Graph Theory

W.D. Wallis

2000260 pp.
Set theory based on combinatory logicMaarten Wicher Visser Bunder
⏱ 1h 20m

Set theory based on combinatory logic

Maarten Wicher Visser Bunder

196980 pp.
A bibliography of lambda-calculi, combinatory logics and related topicsA. Rezus
⏱ 1h 26m

A bibliography of lambda-calculi, combinatory logics and related topics

A. Rezus

198286 pp.
Combinators, -terms and proof theorySören Stenlund
⏱ 3h 4m

Combinators, -terms and proof theory

Sören Stenlund

1972184 pp.
Combinatory reduction systemsJ. W. Klop
⏱ 5h 17m

Combinatory reduction systems

J. W. Klop

1980317 pp.
Combinatorics and graph theoryJohn M. Harris
⏱ 6h 21m

Combinatorics and graph theory

John M. Harris

2008381 pp.
Prädikatenlogik ohne gebundene VariablenJürgen Bartnick
⏱ 1h 24m

Prädikatenlogik ohne gebundene Variablen

Jürgen Bartnick

198084 pp.
Many-valued multi-threshold logicAldo Druzeta
⏱ 2h 10m

Many-valued multi-threshold logic

Aldo Druzeta

1974130 pp.
Cylindric-like Algebras and Algebraic LogicHajnal Andréka
⏱ 7h 57m

Cylindric-like Algebras and Algebraic Logic

Hajnal Andréka

2013477 pp.
Combinatory logicKatalin Bimbó
⏱ 5h 34m

Combinatory logic

Katalin Bimbó

2012334 pp.
Mathematics of Ramsey theoryJaroslav Nešetřil
⏱ 4h 29m

Mathematics of Ramsey theory

Jaroslav Nešetřil

1990269 pp.
Some combinatorial and algorithmic problems in many-valued logicsIvan Stojmenović
⏱ 2h 30m

Some combinatorial and algorithmic problems in many-valued logics

Ivan Stojmenović

1987150 pp.
Lambda-calculus models of programming languagesJames Hiram Morris
⏱ 2h 11m

Lambda-calculus models of programming languages

James Hiram Morris

1968131 pp.
← PreviousPage 2 of 7Next →