Welcome to CRCPress.com! We have customized the Taylor & Francis India website to host CRC Press titles. Please choose www.TandFIndia.com to get the following benefits:
South Asia Editions of CRC Press titles with INR prices
Multiple options to purchase locally
All CRC Press products available
Your CRC Press login credentials will work on TandFIndia.com
Garland Science Website Announcement
The Garland Science website is no longer available to access and you have been automatically redirected to CRCPress.com.
All instructor resources (*see Exceptions) are now available on our Instructor Hub. Your GarlandScience.com instructor credentials will not grant access to the Hub, but existing and new users may request access here.
The student resources previously accessed via GarlandScience.com are no longer available to existing or new users.
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Table of Contents
Part I: Proof Theoretic Analysis 1. Ordinal analysis without proofs 2. Relating ordinals to proofs in a perspicuous way 3. Internal finite tree embeddings 4. Foundational and mathematical uses of higher types 5. The epsilon substitution method and continuity 6. Predicativity: The outer limits Part II: Logic And Computation 7. A pragmatic interpretation of substructural logics 8. Computational complexity and induction for partial computable functions in type theory 9. Computability theory: Structure or algorithms 10. Tim Fernando 11. Three processes in natural language interpretation 12. Infinitary initial algebra specifications for stream algebras Part III: Applicative and Self-Applicative Theories 13. On extensionality, uniformity and comprehension in the theories of operations and classes 14. The proof-theoretic analysis of the Suslin operator in applicative theories 15. Feferman-Landin Logic 16. Explicit mathematics with monotone inductive definitions: A survey Part IV: Philosophy of Modern Mathematical and Logical Thought 17. On the constructivity of proofs. a debate among Behmann, Bernays, Godel, and Kaufmann 18. Realism and the debate on impredicativity, 1917–1944 19. Calculations by man and machine: Conceptual analysis 20. Remarks on finitism 21. Logical constants: The variable fortunes of an elusive notion
Sieg \, Wilfried; Sommer \, Richard; Talcott \, Carolyn
Most VitalSource eBooks are available in a reflowable EPUB format which allows you to resize text to suit you and enables other accessibility features. Where the content of the eBook requires a specific layout, or contains maths or other special characters, the eBook will be available in PDF (PBK) format, which cannot be reflowed. For both formats the functionality available will depend on how you access the ebook (via Bookshelf Online in your browser or via the Bookshelf app on your PC or mobile device).
CHOICE – Outstanding Academic Title – Award Winner
CHOICE – 2018 Outstanding Academic Title – Award Winner
Shingo Research and Professional Publication Award Winner
The country you have selected will result in the following:
Product pricing will be adjusted to match the corresponding currency.
The title will be removed from your cart because it is not available in this region.