Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Alianza Universidad, 1975
ISBN 10: 8420621196ISBN 13: 9788420621197
Librería: La Social. Galería y Libros, Barcelona, BCN, España
Libro Original o primera edición
Encuadernación de tapa blanda. Condición: Muy bien. 1ª Edición. Título Original: "Perspectives on the Computer Revolution" Traducción de Luis García Llorente. Colección: "Alianza Universidad" Núm. 119. MUY BUEN ejemplar. 700pp + 2h.
Publicado por Alianza Universidad, 1975
ISBN 10: 8420621196ISBN 13: 9788420621197
Librería: Livro Ibero Americano Ltda, Rio de Janeiro, RJ, Brasil
Libro Original o primera edición
Encuadernación de tapa blanda. Condición: Como Nuevo. 1ª Edición.
Año de publicación: 1942
Librería: Ted Kottler, Bookseller, Redondo Beach, CA, Estados Unidos de America
Original o primera edición
Hardcover. Condición: Near Fine. No Jacket. 1st Edition. Entire Volume 7 of The Journal of Symbolic Logic, bound in contemporary cloth. Copy of Alan Ross Anderson, (1925-1973), who taught at Yale from 1955-65 then was Professor of Philosophy at the University of Pittsburgh from 1965-73 and Chairman of the Department from 1967-70. Anderson twice served as editor of the Journal of Symbolic Logic.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
(No place), The Association for Symbolic Logic, 1942. Large 8vo. Bound in blue half cloth with silver lettering to spine. In "Journal of Symbolic Logic", Volume 7. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 28-33" 146-156 (Entire copy: (4), 180 pp.). First appearance of these two paper's by Turing.Turing's paper "A Formal Theorem in Church's Theory of Types" is a significant contribution to the fields of computer science and mathematical logic. By providing a formal proof within Church's theory, Turing expanded our understanding of computation and its relationship to logic. His work on computability and the theory of types laid the foundation for the development of theoretical computer science, proof theory, and automated reasoning. Turing's paper continues to be a landmark in the study of computation, inspiring further research and practical applications in diverse areas of science and technology. In "The Use of Dots as Brackets in Church's System", introducing the dot parentheses notation, Turing simplified the representation and manipulation of lambda calculus expressions, making them more intuitive and manageable. His work highlighted the relationship between syntax and semantics, laying the foundation for further research in formal semantics and the development of programming languages. Turing's paper continues to be influential, shaping the way complex expressions are represented and reasoned about in the fields of computation, formal systems, and logic.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
Original o primera edición
(No place), The Association for Symbolic Logic, 1942, 1943 &1948. Lev8vo. Bound in two uniform red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 7, 8 [Bound together] & 13. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. Minor scratches to extremities of volume 13. A fine set. Pp. 28-33" Pp. 80-94. [Entire volumes: IV, 164 pp." IV, 236 pp.). First printing of the two important - but often overlooked - papers by Turing which provide "information about Turing's thoughts on the logical foundations of mathematics which is not to be found elsewhere in his writings". (Copeland, The Essential Turing, P. 206).