Un tipo de solidez para un sistema de deducción natural /

Código QR

Un tipo de solidez para un sistema de deducción natural /

Detalles Bibliográficos
Autor principal:	Lambert Martin, William (Autor, Autor/a)
Formato:	Artículo
Lenguaje:	Spanish
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

Lecture notes on mathematical logic /
por: Davis, Martin 1928-, et al.
Publicado: (1939)

Toward a systematic pragmatics /
por: Martin, Richard Milton, et al.
Publicado: (1959)

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

Un cuento enmarañado y otros problemas de almohada /
por: Carroll, Lewis, 1832-1898
Publicado: (2010)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

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

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

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)

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

Analisis matematico de la logica : ensayo de un calculo del razonamiento deductivo. /
por: Boole, George 1815-1864, et al.
Publicado: (1960)

Los orígenes de la lógica de las ciencias
por: Castellanos, Juan Mario 1936-, et al.
Publicado: (1990)

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

Manual de logica para estudiantes de matematicas /
por: Zubieta Russi, Gonzalo, et al.
Publicado: (1971)

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

Elementos de la teoría del cálculo lógico (cálculo proposicional) /
por: Blanco Gallo, Jorge Alberto
Publicado: (1978)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (2015)

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

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Introducción a la lógica simbólica /
por: Langer, Susanne K.
Publicado: (1975)

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

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

Fundamentos de probabilidad /
por: Martín Pliego, F. Javier, et al.
Publicado: (2006)

The nature of mathematics
por: Black, Max 1909-1988, et al.
Publicado: (1958)

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

Investigaciones lógicas /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1984)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

Escritos lógico-semánticos /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1974)

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

The nature of mathematics: a critical survey
por: Black, Max 1909-1988, et al.
Publicado: (1950)

Lógica simbólica para informáticos
por: Julián Iranzo, Pascual
Publicado: (2005)

Principles de logique et de philosophie mathematique
por: Onicescu, Octav, et al.
Publicado: (1971)

El Desarrollo de la teoria de la cuantificacion /
por: Van Heijenoort, Jean 1912-1986, et al.
Publicado: (1976)

Ejercicios de lógica /
por: Moreno, Alberto
Publicado: (1973)

Elementos de lógica
por: Hilbert, D.
Publicado: (1962)

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

Método de inducción matemática /
por: Sominskii, I. S., et al.
Publicado: (1975)

Elementos de lógica teórica /
por: Hilbert, David 1862-1943, et al.
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_arddvr1ejana61926mfpi28s49