Post, Emil Leon, 1897-1954 Solvability, provability, definability: the collected works of Emil L. Post/ Martin Davis, editor. - Boston: Birkhäuser, 1994. - xxviii, 554 p. ; 27 cm. - Contemporary mathematicians . - Contemporary mathematicians . Includes bibliographical references. ISBN: 0817635793 (Boston : alk. paper) 3764335793 (Basel : alk. paper) LCCN: 93009347 //r93 Subjects--Personal Names: Post, Emil Leon, 1897-1954 Subjects--Topical Terms: Logic, Symbolic and mathematical.Logique symbolique et mathématique. Dewey Class. No.: 510