Emil L. Post and the problem of mechanical provability
Subtitle: a survey of Post's contributions in the centenary of his birth
By: [editor for the volume, Halina Święczkowska].
Contributors: Święczkowska, Halina.
Series: Studies in logic, grammar and rhetoric,; 2(15)
Publisher: Chair of Logic, Informatics and Philisiophy of Science University of Białystok
Published: 1998
Place of publication: Białystok
Language: eng
Number of pages: 124
Subjects: Post, Emil Leon, 1897-1954.; Logic, Symbolic and mathematical.; Proof theory.