The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
Emil L. Post · Princeton University Press eBooks · 1942
*Frontmatter, pg. i*CONTENTS, pg. vi*INTRODUCTION, pg. 1*Part I. PRELIMINARIES, pg. 10*PART II. DERIVATION OP CLOSED SYSTEMS, pg. 43*PART III. CO-ORDINATION AND APPLICATION, pg. 96*BIBLIOGRAPHY, pg. 119