Undecidable theories (North-Holland, 1953)
Includes bibliographical references and index