Emil L. Post and the problem of mechanical provability: a survey of Post's contributions in the centenary of his birth

(ed.)
Białystok: Chair of Logic, Informatics and Philisiophy of Science University of Białystok (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.E55 1998

ISBN(s)

8387884073

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Solvability, Provability, Definability: The Collected Works of Emil L. Post.Emil Leon Post & Martin Davis - 1994 - Birkhauser.
Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
Closing the circle: An analysis of Emil post's early work.Liesbeth de Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267-289.
Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post. [REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.
Emil L. post's doctoral dissertation1.Stanislaw J. Surma - 1973 - In Stanisław J. Surma, Studies in the history of mathematical logic. Wrocław,: Zakład Narodowy im. Ossolinskich. pp. 11.
On the Mathematical Foundations of Syntactic Structures.Geoffrey K. Pullum - 2011 - Journal of Logic, Language and Information 20 (3):277-296.
Post. Emil L. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, vol. 52 , pp. 264–268. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.
Solvability, provability, definability: the collected works of Emil L. Post, edited by Martin Davis, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp. [REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.

Analytics

Added to PP
2009-01-28

Downloads
8 (#1,613,850)

6 months
3 (#1,061,821)

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