Introducción a la teoría de las funciones recursivas

Código QR

Introducción a la teoría de las funciones recursivas

Detalles Bibliográficos
Autor principal:	Baules Aguilar, Edgar
Formato:	Libro
Lenguaje:	Spanish
Publicado:	Panamá : Universidad , 1981.
Materias:	FUNCIONES RECURSIVAS LOGICA SIMBOLICA Y MATEMATICA

Ejemplares similares

Equivalencia recursiva /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1976)

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

Planos afines con operaciones recursivas /
por: Dekker, Jacob C.E. 1921 -, et al.

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

Aritmética recursiva y algunas de sus aplicaciones /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2001)

Degrees of unsolvability /
por: Sacks, Gerald E., et al.
Publicado: (1963)

The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965)

Conditional relationships /
por: Kreiner, Svend, et al.
Publicado: (1989)

Recursively enumerable sets and degress : a study of computable functions and computably generated sets /
por: Soare, Robert Irving 1940-, et al.
Publicado: (1987)

Recursion theory week : proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989 /
por: Ambos, Spines K.
Publicado: (1964)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965)

Recursive equivalence types /
por: Dekker, Jacob C.E. 1921 -, et al.
Publicado: (1960)

Recursive function theory
Publicado: (1962)

Computability : an introduction to recursive function theory /
por: Cutland, Nigel, et al.
Publicado: (1980)

Computability /
por: Tourlakis, George J., et al.
Publicado: (1984)

Computability and unsolvability
por: Davis, Martin 1928-, et al.
Publicado: (1958)

Computations in higher types /
por: Moldestad, John 1946-, et al.
Publicado: (1964)

Theory of recursive functions and effective computability /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1967)

Generalized recursion theory. Proceedings of the 1972 Oslo symposium
Publicado: (1974)

Computational methods and function theory : proceedings of a Conference, held in Valparaiso, Chile, march 13-18, 1989 /
por: Ruscheweyh, S. T., et al.
Publicado: (1964)

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

Algorithms and recursive fuctions /
por: Mal'Cev, A. I.
Publicado: (1970)

Recursive Functions / by Rózsa Péter
por: Péter, Rózsa

Algorithms and recursive functions
por: Mal'tsev, Anatolii Ivanovich 1909-1967, et al.
Publicado: (1970)

The Calculi of lambda-conversion
por: Church, Alonzo n. 1903, et al.
Publicado: (1941)

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

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)

Introducción a la lógica /
por: Smith, Karl J., et al.
Publicado: (1991)

Introducción a la lógica simbólica
por: Langer, Susanne Katherina, 1895-1985
Publicado: (1969)

Introducción a la lógica simbólica
por: Stahl, Gerold
Publicado: (1956)

Introducción a la lógica simbólica
por: Langer, Susanne Katherina, 1895-1985
Publicado: (1974)

Introducción a la lógica simbólica
por: Suppes, Patrick
Publicado: (1966)

Introducción a la lógica matemática /
por: Galicia Arrambide, Moisés, et al.
Publicado: (1976)

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

Introducción a la lógica simbólica /
por: Suppes, Patrick Colonel 1922-, et al.
Publicado: (1984)

Introducción a la lógica simbólica
por: Suppes, Patrick Colonel 1922-, et al.
Publicado: (1966)

Introducción a la lógica modal /
por: Hughes, George Edward, et al.
Publicado: (1973)

Introduccion a la logica moderna
por: Martínez, José de Jesús 1929-, et al.
Publicado: (1962)

Introducción a la Logica Simbolica /
por: Suppes, Patrick
Publicado: (1966)