Studies in Logic and the Foundations of Mathematics, 65
Subtitle: Provability, Computability and Reflection
Publisher: Elsevier
Published: 1972
Place of publication: Burlington
Language: eng
Format: [electronic resource] :
Number of pages: 535
ISBN-13: 9780080954776
Subjects: Combinatory logic
Notes: Description based on print version record.
Table of contents: title: Front Cover; Combinatory Logic; Copyright Page; Preface; Table of Contents; Explanation of Notations; Chapter 11 Addenda to Pure Combinatory Logic; Chapter 12 Foundations of the Illative Theory; Chapter 13 Combinatory Arithmetic; Chapter 14 The Theory of Functionality; Chapter 15 The Theory of Restricted Generality; Chapter 16 The Theory of Universal Generality; Chapter 17 Combinatory Type Theory; Bibliography; Index.