Solvability, provability, definability : the collected works of Emil L. Post

Author(s)

• Post, Emil Leon
• Davis, Martin

Bibliographic Information

Solvability, provability, definability : the collected works of Emil L. Post

Martin Davis, editor

（Contemporary mathematicians）

Birkhäuser, 1994

• : us
• : sz

Note

Includes bibliographical references

Details

• NCID: BA2153578X
• ISBN:
  • 0817635793
  • 3764335793
• LCCN: 93009347
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: xxviii, 554 p.
• Size: 26 cm
• Classification:
  • LCC : QA3
  • DC20 : 510
• Subject Headings:
  • LCSH : Post, Emil Leon, 1897-1954
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00145710