Una solución moderna para el "entscheidungsproblem"

Código QR

Una solución moderna para el "entscheidungsproblem"

Detalles Bibliográficos
Autor principal:	Piza Volio, Eduardo (autor)
Formato:	Artículo
Lenguaje:	Spanish
Materias:	LÓGICA VARIABLES MATEMÁTICAS

Ejemplares similares

Una solución moderna para el "entscheidungsproblem"
por: Piza Volio, Eduardo,

Una solución moderna para el "Entscheidungsproblem" /
por: Piza Volio, Eduardo 1955-, et al.

Introducción al análisis real en una variable /
por: Piza Volio, Eduardo, 1956- ,
Publicado: (2013)

A Transfinite Type Theory with Type Variables / P. B. Andrews
por: Andrews, P. B.

Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
por: Piza Volio, Eduardo 1955-

Introducción al análisis real en una variable. /
por: Piza Volio, Eduardo
Publicado: (2003)

Hercules contra la Hidra y la muerte de Internet /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2002)

Implication, endometry, universe of discourse / Franco Spisani
por: Spisani, Franco

Conceptos y problemas de la lógica moderna /
por: Hasenjaeger, Gisbert
Publicado: (1968)

Conceptos y problemas de la lógica moderna / G. Hasenjaeger
por: Hasenjaeger, G.

Introduccion a la logica moderna
por: Martínez, José de Jesús 1929-, et al.
Publicado: (1962)

Introducción al análisis real en una variable /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2003)

Ejercicios de Combinatoria con Soluciones: Propiedades de los Grafos y Métodos de Numeración: Tomo 2 /
por: Kaufmann, A
Publicado: (1971)

Variable compleja
por: Polya, George, et al.
Publicado: (1976)

Manual: estadística I
por: Borrell Lemus, Sunyer
Publicado: (1992)

Applied correspondence analysis : an introduction /
por: Clausen, Sten-Erik
Publicado: (1998)

Conceptos y problemas de la lógica moderna /
por: Hasenjaeger, Gisbert, et al.
Publicado: (1968)

Conceptos y problemas de la lógica moderna
por: Hasenjaeger, G.
Publicado: (1968)

Matemática básica para administradores /
por: Curo, Agustín

Problemas filosóficos de la matemática moderna : desde la torre de marfil
por: Hausmann, Bernard Andrew n. 1899, et al.
Publicado: (1968)

Cálculo de una y varias variables /
por: Seeley, Robert T.
Publicado: (1990)

Sistemas formales, informalmente : ¨Por qué intentaron formalizar a la matemática si era tan buena muchacha? /
por: Gómez, Pedro
Publicado: (1995)

Funciones de una variable compleja y sus aplicaciones
por: Phillips, E. G.
Publicado: (1963)

Lógica simbólica ; una breve introducción
por: Gómez Calderón, Javier
Publicado: (1979)

Una introducción algebraica a la lógica matemática /
por: Barnes, Donald W
Publicado: (1978)

Apuntes de cálculo en varias variables /
por: Echeverría, Mariano

Funciones de diversas variables /
por: Fleming, Wendell H.

Funciones de variables complejas tomo 2 /
por: Eves, Howard W.
Publicado: (1968)

Complex variables and applications /
por: Ward Brown, James
Publicado: (2009)

Máquinas lógicas y diagramas /
por: Gardner, Martín
Publicado: (1973)

Computability and logic /
por: Boolos, George
Publicado: (1980)

Lógica y juegos lógicos /
por: Dienes, Z. P.

El concepto de modelo : bases para una epistemología materialista de las matemáticas /
por: Badiou, Alain, 1937-
Publicado: (1976)

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

Lógica matemática
Publicado: (1993)

Cálculo de una variable
por: Hirst, K.E
Publicado: (1974)

Manual de lógica para estudiantes de matemáticas /
por: Zubieta Russi, Gonzalo
Publicado: (1975)

Lógica para matemáticos /
por: Hamilton, A. G.,
Publicado: (1981)

Analisis de variancia parametrico y no-parametrico : una aplicacion para determinar el efecto del informante en la encuesta de hogares /
por: Mata Greenwood, Adriana, et al.
Publicado: (1985)

Lógica cotidiana : recopilación de problemas y enigmas /
por: Piza Volio, Eduardo 1955-
Publicado: (2003)