Solvable cases of the decision problem
Autor principal: | Ackermann, Wilhelm n 1896 (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North Holland,
1962.
|
Materias: |
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
Publicado: (1954) -
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) -
Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
por: Piza Volio, Eduardo 1955-