Combinatory Logic

124 books
Opere lullianeGiordano Bruno
⏱ 9h 55m

Opere lulliane

Giordano Bruno

2012595 pp.
Models of the lambda calculusC. P. J. Koymans
⏱ 3h 1m

Models of the lambda calculus

C. P. J. Koymans

1984181 pp.
Introduction to Ramsey TheoryMatthew Katz

Introduction to Ramsey Theory

Matthew Katz

2018No page data
Studies in Foundations and Combinatorics (Advances in mathematics : Supplementary studies)Gian-Carlo Rota
⏱ 4h 25m

Studies in Foundations and Combinatorics (Advances in mathematics : Supplementary studies)

Gian-Carlo Rota

1978265 pp.
Combinators and functional programming languagesUnknown Author
⏱ 3h 28m

Combinators and functional programming languages

Unknown Author

1986208 pp.
Combinators and functional programming languagesEcole de printemps d'informatique théorique (13th 1985 Le Val d'Ajol, France)
⏱ 3h 28m

Combinators and functional programming languages

Ecole de printemps d'informatique théorique (13th 1985 Le Val d'Ajol, France)

1986208 pp.
Problems And Theorems In Classical Set TheoryPeter Komjath

Problems And Theorems In Classical Set Theory

Peter Komjath

2006No page data
Combinatorics, computation & logic 99DMTCS '99 (1999 Auckland, N.Z.)
⏱ 6h 8m

Combinatorics, computation & logic 99

DMTCS '99 (1999 Auckland, N.Z.)

1999368 pp.
Finite and infinite combinatorics in sets and logicNATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic (1991 Banff, Alta.)
⏱ 7h 45m

Finite and infinite combinatorics in sets and logic

NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic (1991 Banff, Alta.)

1993465 pp.
Coding, cryptography, and combinatoricsWorkshop on Coding, Cryptography, and Combinatorics (2003 Huangshan Shi, China)
⏱ 6h 45m

Coding, cryptography, and combinatorics

Workshop on Coding, Cryptography, and Combinatorics (2003 Huangshan Shi, China)

2004405 pp.
Combinatorics, computability, and logicDMTCS '01 (2001 Constanța, Romania)
⏱ 4h 18m

Combinatorics, computability, and logic

DMTCS '01 (2001 Constanța, Romania)

2001258 pp.
Thinking in ProblemsAlexander A. Roytvarf
⏱ 6h 45m

Thinking in Problems

Alexander A. Roytvarf

2013405 pp.
Optimization methods for logical inferenceVijay Chandru
⏱ 6h 5m

Optimization methods for logical inference

Vijay Chandru

1999365 pp.
Combinatorial Set TheoryLorenz J. Halbeisen
⏱ 9h 1m

Combinatorial Set Theory

Lorenz J. Halbeisen

2012541 pp.
Casebook in correctional caseworkCouncil on Social Work Education. Committee on Corrections.
⏱ 1h 6m

Casebook in correctional casework

Council on Social Work Education. Committee on Corrections.

195866 pp.
Abstract automathA. Rezus
⏱ 3h 8m

Abstract automath

A. Rezus

1983188 pp.
[Lambda]-calculus and computer science theoryUnknown Author
⏱ 6h 10m

[Lambda]-calculus and computer science theory

Unknown Author

1975370 pp.
Logic and combinatoricsAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 Humboldt State University)
⏱ 6h 34m

Logic and combinatorics

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 Humboldt State University)

1987394 pp.
The theory of indistinguishablesA. F. Parker-Rhodes
⏱ 3h 36m

The theory of indistinguishables

A. F. Parker-Rhodes

1981216 pp.
Introduction to Mathematical Structures and ProofsLarry J. Gerstein
⏱ 6h 23m

Introduction to Mathematical Structures and Proofs

Larry J. Gerstein

2012383 pp.
← PreviousPage 3 of 7Next →