Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Iterated Inductive Definitions and Subsystems of Analysis

Iterated Inductive Definitions and Subsystems of Analysis1981

W. Buchholz, S. Feferman, W. Pohlers, W. Sieg

Details

First published
1981
OL Work ID
OL27321580W

Subjects

Mathematical analysisInduction (mathematics)Proof theoryMathematicsSymbolic and mathematical LogicMathematical Logic and Foundations

Find this book

GoodreadsOpen Library
Book data from Open Library. Cover images courtesy of Open Library.