Solvable cases of the decision problem.

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ackermann, W. (Wilhelm), 1896-1962
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1954.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Logic, Symbolic and mathematical.
Decision making.
Decision Making
Logique symbolique et math�ematique.
Prise de d�ecision.
decision making.
Decision making
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:Provability, Computability and Reflection.
Descripción Física:1 online resource (114 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780444533807
044453380X
1283526263
9781283526265
9786613838711
6613838713
0080957358
9780080957357

Ejemplares similares