Cargando…

Combinatory logic /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Curry, Haskell B. (Haskell Brooks), 1900-1982, Feys, Robert, Craig, William, 1918-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam : North-Holland, 1958.
Colección:	Studies in logic and the foundations of mathematics ; v. 22.
Temas:	Combinatory logic. Logique combinatoire. Combinatory logic Logica Matematica.
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Combinatory logic.
Publicado: (1972)

Combinatory logic : pure, applied and typed /
por: Bimbó, Katalin, 1963-
Publicado: (2012)

Algebra of proofs /
Publicado: (1978)

Lambda-calculus and combinators, an introduction /
por: Hindley, J. Roger
Publicado: (2008)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Admissibility of logical inference rules /
por: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Publicado: (1997)

Combinatorial and geometric structures and their applications /
Publicado: (1982)

Combinatorial mathematics, optimal designs, and their applications /
Publicado: (1980)

Surveys in combinatorial optimization /
Publicado: (1987)

Multi-objective combinatorial optimization problems and solution methods
Publicado: (2022)

Combinatorial set theory /
Publicado: (1977)

Combinatorial matrix theory /
por: Brualdi, Richard A.
Publicado: (1991)

Combinatorics 79,
Publicado: (1980)

Combinatorial methods in discrete mathematics /
por: Sachkov, Vladimir Nikolaevich
Publicado: (1996)

Combinatorics '90 : recent trends and applications : proceedings of the Conference on Combinatorics, Gaeta, Italy, 20-27 May, 1990 /
Publicado: (1992)

A first course in combinatorial optimization /
por: Lee, Jon, 1960-
Publicado: (2004)

Elements of combinatorial computing /
por: Wells, Mark B.
Publicado: (1971)

Combinatorics 79,
Publicado: (1980)

Analysis and design of algorithms for combinatorial problems /
Publicado: (1985)

A first course in combinatorial optimization /
por: Lee, Jon, 1960-
Publicado: (2004)

Surveys in combinatorics, 1989 : [invited papers for the Twelfth British Combinatorial Conference] /
Publicado: (1989)

Combinatorial geometries /
Publicado: (1987)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Publicado: (1988)

Combinatorial designs : a tribute to Haim Hanani /
por: Hartman, A. (Alan)
Publicado: (1989)

Combinatorial methods in topology and algebraic geometry /
Publicado: (1985)

Algorithmic aspects of combinatorics /
Publicado: (1978)

Transversal theory : an account of some aspects of combinatorial mathematics /
por: Mirsky, L. (Leonid)
Publicado: (1971)

A new introduction to modal logic /
por: Hughes, G. E. (George Edward), 1918-
Publicado: (1996)

A new introduction to modal logic /
por: Hughes, G. E. (George Edward), 1918-
Publicado: (1996)

Applications of Combinatorial Optimization.
por: Paschos, Vangelis Th
Publicado: (2013)

Surveys in combinatorics, 1997 /
Publicado: (1997)

Principles of combinatorics /
por: Berge, Claude
Publicado: (1971)

Combinatorial design theory /
Publicado: (1987)

Combinatorial chemistry.
Publicado: (2003)

Combinatorial set theory : partition relations for cardinals /
Publicado: (1984)

Progress in combinatorial optimization /
Publicado: (1984)

Surveys in combinatorics, 1993 : [invited papers for the fourteenth British Combinatorial conference] /
Publicado: (1993)

Surveys in combinatorics, 1991 : invited papers for the Thirteenth British Combinatorial Conference /
Publicado: (1991)

Solid-supported combinatorial and parallel synthesis of small-molecular-weight compound libraries /
por: Obrecht, Daniel
Publicado: (1998)

Combinatorial mathematics : proceedings of the International Colloquium on Graph Theory and Combinatorics, Marseille-Luminy, June 1981 /
Publicado: (1983)

Cannot write session to /tmp/vufind_sessions/sess_r7kvlt3b80o96nnpjnv70b4423