Solvability, provability, definability
Subtitle: the collected works of Emil L. Post
By: Martin Davis, editor.
Contributors: Davis, Martin, 1928-
Series: Contemporary mathematicians
Publisher: Birkhäuser
Published: 1994
Place of publication: Boston
Language: eng
Number of pages: 554
Subjects: Post, Emil Leon, 1897-1954.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.