The Calculi of lambda-conversion

Código QR

The Calculi of lambda-conversion

Detalles Bibliográficos
Autor principal:	Church, Alonzo n. 1903 (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Princeton, N.J. : Princeton University Press, 1941.
Colección:	Annals of mathematics studies
Materias:	LOGICA, SIMBOLICA Y MATEMATICA FUNCIONES

Ejemplares similares

Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)

The lambda calculus: its syntax and semantics /
por: Barendregt, Hendrik Pieter, et al.
Publicado: (1984)

An introduction to lamba calculi for computer scientists /
por: Hankin, Chris, 1954- ,

An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

Introducción a la teoría de las funciones recursivas
por: Baules Aguilar, Edgar
Publicado: (1981)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

A propósito de la conversión por accidente o limitación
por: Rey del Corral, Fernando
Publicado: (1990)

A Propósito de la conversión por accidente o limitación
por: Rey del Corral, Fernando
Publicado: (1990)

Constructive order types
por: Crossley, John N., et al.
Publicado: (1969)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1954)

Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1962)

Foundations of mathematical logic /
por: Curry, Haskell Brooks n. 1900, et al.
Publicado: (1963)

An Introduction to algebraic logic
por: Kiss, Stephen Anthony n. 1890, et al.
Publicado: (1961)

Logic for mathematicians
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1953)

Symbolic logic /
por: Lewis, Clarence Irving n. 1883, et al.
Publicado: (1959)

Compendio de logica matematica /
por: Bochénski, Innocentius M. n. 1902, et al.
Publicado: (1982)

Compendio de lógica matemática /
por: Bochénski, Innocentius M. n. 1902, et al.
Publicado: (1976)

An Introduction to symbolic logic
por: Langer, Susanne Katherina Knauth n. 1895, et al.
Publicado: (1953)

Many-valued logics /
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1952)

Introducción a la lógica simbólica /
por: Langer, Susanne Katherina Knauth n. 1895, et al.
Publicado: (1975)

Cambridge Summer School in Mathematical logic /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1964)

Principles of mathematical logic /
por: Hilbert, David 1862-1943, et al.
Publicado: (1950)

Elementos de lógica teórica /
por: Hilbert, David 1862-1943, et al.
Publicado: (1975)

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

Introducción intuitiva a la lógica simbólica
por: Flores, César
Publicado: (1979)

Teoría y problemas de teoría de conjuntos y temas a fines
por: Lipschutz, Seymour
Publicado: (1976)

Introducción a la lógica deductiva y teoría de los conjuntos
por: Salazar Resines, Javier
Publicado: (1970)

Limitaciones internas de los formalismos: estudio sobre la significación del teorema G”del y teoremas conexos en la teoría de los fundamentos de las matemáticas /
por: Ladriére, Jean
Publicado: (1969)

Introducción a la lógica simbólica /
por: Langer, Susanne K.
Publicado: (1975)

Iniciación a la lógica
por: Gortari,Eli de
Publicado: (1974)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (2015)

Lógica matemática.
por: Ferrater Mora, José

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

Ensayo de lógica operatoria
por: Piaget, Jean, 1896-1980
Publicado: (1977)

Los orígenes de la lógica de las ciencias
por: Castellanos, Juan Mario 1936-, et al.
Publicado: (1990)