Trajtenbrot B. A.. Los algoritmos y la resolución automática de problemas. Spanish translation by Bernardo Del Rio Salceda of XXVIII 111. Lecciones populares de matemáticas. Editorial Mir, Moscow 1977, 109 pp [Book Review]

Journal of Symbolic Logic 47 (3):702-702 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273603

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,335

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Los Algoritmos y la Resolución Automática de Problemas.B. A. Trajtenbrot - 1982 - Journal of Symbolic Logic 47 (3):702-702.
B. A. Trahtenbrot. Algorithmes et machines à calculer. French translation of XXVIII 111, by A. Chauvin. Dunod, Paris1963, x + 149 pp. [REVIEW]Hugues Leblanc - 1964 - Journal of Symbolic Logic 29 (3):147-148.
Estrategias para la implementación del DUA en matemáticas.Daniel José Rodríguez Luis & Jorge Roldán López - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (1):1-11.
Protocolo para mejorar la calidad en la formulación de problemas en matemáticas.Ciro González Mallo, María Clara Rivas Rivas, Patricia Schwerter Cárcamo, Javier Bustos Yáñez & Ricardo García Hormazábal - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 11 (6):1-12.
Obras completas, by Gödel Kurt. Edited by Mosterín Jesús. Alianza universidad. Alianza Editorial, Madrid 1981, 430 pp.Mosterín Jesús. Prólogo. Pp. 9–13.Mosterín Jesús. Introducción. Pp. 15–19, 35–36, 41, 45–54, 91, 95–96, 101–102, 105–106, 109, 113–114, 117–119, 127–129, 147–150, 183–184, 187–188, 191, 195–196, 205–213, 295–296, 329–330, 337–339, 401–403, 413–414.Gödel Kurt. La suftciencia de los axiomas del caĺculo lógico de primer orden. Pp. 20–34. Spanish translation by Mosterín Jesús of 4182.Gödel Kurt. Un caso especial del problema de la decision en la Idgica tedrica. Pp. 37–39. Spanish translation by Mosterín Jesús of 4187.Gödel Kurt. Algunos resultados metamatemáticos sobre completudy consistencia. Pp. 42–43. Spanish translation by Mosterín Jesús of 4181.Gödel Kurt. Sobre sentencias formalmente indecidibles de Principia mathematica y sistemas afines. Pp. 55–89. Spanish translation by Mosterín Jesús of 4185 with an added note from XXXVII 405.Gödel Kurt. Sobre completud y consiste. [REVIEW]Rolando Chuaqui - 1983 - Journal of Symbolic Logic 48 (4):1199-1201.
Actividades de resolución de problemas para la enseñanza de inglés en educación media superior.Jorge Alejandro Rocha Torres, Carlos Javier Del Cid García & José Ángel Vera Noriega - 2023 - Voces de la Educación 8 (16):174-197.
Morris Charles W.. Fundamentos de la teoria de los signos. Translated by Alvarez Obdulia, Santi Marta and Zangara Irma, revised by Bunge Mario. Suplementos del Seminario de Problemas Científicos y Filosóficos, ser. 2 no. 12. Universidad Nacional de México, Mexico City 1958, pp. 31–83. [REVIEW]José Ferrater Mora - 1959 - Journal of Symbolic Logic 24 (1):92-93.
Enseñanzas del relato policial.Alfonso Fernández Tresguerres - 2004 - El Catoblepas: Revista Crítica Del Presente.
Rodríguez-Gil F.. Los fundamentos de las matemáticas. Spanish with brief English Summary. Acta cientifica venezolana, vol. 7 . pp. 171–175. [REVIEW]Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):359-359.
Post Emil L.. Conjuntos recurrentemente numerables de enteros positivos y sus problemas de decisión. Spanish translation of X 18 by Fuentes J. R.. Revista matemática hispanoamericana, ser. 4 vol. 7 no. 5 , pp. 187–229. [REVIEW]Hugo Ribeiro - 1948 - Journal of Symbolic Logic 13 (4):217-217.

Analytics

Added to PP
2013-11-03

Downloads
23 (#786,384)

6 months
6 (#1,088,290)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references