Solvable cases of the decision problem

QR Code

Solvable cases of the decision problem

Bibliographic Details
Main Author:	Ackermann, Wilhelm n 1896 (Author, Autor/a)
Format:	Book
Language:	English
Published:	Amsterdam : North Holland, 1962.
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA

Similar Items

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

Solvable cases of the decision problem
by: Ackermann, Wilhelm
Published: (1954)

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

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

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

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

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

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

Opuscules et fragments inédits de Leibniz : extraits des manuscrits de la Bibliothèque royale de Hanovre
by: Leibniz, Gottfried Wilhelm Freiherr von 1646-1716, et al.
Published: (1961)

Génesis de las estructuras lógicas elementales : clasificación y seriaciones
by: Piaget, Jean 1896-1980, et al.
Published: (1967)

Génesis de las estructuras lógicas elementales : clasificaciones y seriaciones /
by: Piaget, Jean 1896-1980, et al.
Published: (1975)

Génesis de las estructuras lógicas elementales : clasificaciones y seriaciones /
by: Piaget, Jean 1896-1980, et al.
Published: (1976)

Génesis de las estructuras lógicas elementales : Clasificaciones y seriaciones
by: Piaget, Jean 1896-1980, et al.
Published: (1983)

Constructive order types
by: Crossley, John N., et al.
Published: (1969)

Ensayo de lógica operatoria /
by: Piaget, Jean, 1896-1980.
Published: (1977)

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

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

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

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

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

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

Compendio de lógica matemática /
by: Bochénski, Innocentius M. n. 1902, et al.
Published: (1976)

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

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

Introducción a la lógica simbólica /
by: Langer, Susanne Katherina Knauth n. 1895, et al.
Published: (1975)

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

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

Iniciación a la lógica
by: Gortari,Eli de
Published: (1974)

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

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

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 /
by: Ladriére, Jean
Published: (1969)

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

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

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

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

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

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

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

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

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