Solvable cases of the decision problem

Código QR

Solvable cases of the decision problem

Detalles Bibliográficos
Autor principal:	Ackermann, Wilhelm
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : North-Holland, 1954.
Colección:	Studies in Logic and the Foundations of Mathematics
Materias:	LOGICA SIMBOLICA Y MATEMATICA

Ejemplares similares

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)

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

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

Communication problems in the -calculus /
por: Benevides, M.R.F., et al.
Publicado: (2000)

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)

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
por: Leibniz, Gottfried Wilhelm Freiherr von 1646-1716, et al.
Publicado: (1961)

Elements of logic and foundations of mathematics in problems /
por: Marek, Wiktor, et al.
Publicado: (1982)

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)

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)

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

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

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

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)

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

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

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

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

Escritos lógico-semánticos /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1974)

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

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

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1954)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1971)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Publicado: (1964)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)

Moisil algebras /
por: Cignoli, Roberto, et al.
Publicado: (1970)

New foundations for concept theory
por: Schock, Rolf 1933-, et al.
Publicado: (1969)

Notes on logic, by Roger C.Lyndon
por: Lyndon, Róger C., et al.
Publicado: (1966)

Organic and inorganic logic and the foundations of mathematics
por: Lintz, R. G., et al.
Publicado: (1974)