fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Combinatory logic

Combinatory logic

by Haskell B. Curry

1958Combinatory logicSymbolic and mathematical Logic
0.0
Open Library
Open Library

Themes & subjects

Combinatory logicSymbolic and mathematical Logic
First published 1958

About the author

Haskell B. Curry

1900 – 1982

Author

Haskell B. Curry

First published

1958

Editions

1

Language

English

Publisher

North-Holland Pub. Co.

ISBN

0720422086

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

[Lambda] - calculus and computer science theory

Combinatory logic · Congresses

[Lambda] - calculus and computer science theory

Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)

1975

The Combinatory Programme (Progress in Theoretical Computer Science)

Combinatory logic · Combinatorial analysis

The Combinatory Programme (Progress in Theoretical Computer Science)

Erwin Engeler

1994

Algebra of proofs

Categories (Mathematics) · Combinatory logic

Algebra of proofs

M. E. Szabo

1978

Coding, cryptography, and combinatorics

Congresses · Combinatory logic

Coding, cryptography, and combinatorics

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

2004

Casebook in correctional casework

Social work with delinquents and criminals · Combinatory logic

Casebook in correctional casework

Council on Social Work Education. Committee on Corrections.

1958

Opere lulliane

Early works to 1800 · Combinatory logic

Opere lulliane

Giordano Bruno

2012

[Lambda]-calculus and combinators

Combinatory logic · Lambda calculus

[Lambda]-calculus and combinators

J. Roger Hindley

2008

Lambda-calculus, combinators, and functional programming

Combinatory logic · Functional programming languages

Lambda-calculus, combinators, and functional programming

György E. Révész

1988

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979

Regulae ad directionem ingenii

Reasoning · Logic, Symbolic and mathematical

Regulae ad directionem ingenii

René Descartes

1899

Discrete Mathematics and Its Applications

Mathematics · Computer science

Discrete Mathematics and Its Applications

Kenneth H. Rosen

1988