Sets and extensions in the twentieth century. (2012)

• Record Type: Book
• Further Information: Note: Edited by Dov M. Gabbay, Akihiro Kanamori, John Woods.
• Other Names: Gabbay, Dov M, 1945-; Woods, John (John Hayden); Kanamori, Akihiro
• Contents: Set Theory from Cantor to Cohen, by Akihiro Kanamori History of the Continuum in the 20th Century, by Juris Stepr¯ans Infinite Combinatorics, by Jean A. Larson Large Cardinals with Forcing, by Akihiro Kanamori Inner Models for Large Cardinals, by William J. Mitchell A Brief History of Determinacy, by Paul B. Larson Singular Cardinals: From Hausdorff’s Gaps to Shelah’s pcf Theory, by Menachem Kojman Alternative Set Theories, by M. Randall Holmes, Thomas Forster, and Thierry Libert Types, Sets, and Categories, by John L. Bell The History of Categorical Logic: 1963-1977, by Jean-Pierre Marquis and Gonzalo E. Reyes Russell’s Orders in Kripke’s Theory of Truth and Computational Type Theory, by Fairouz Kamareddine, Twan Laan, and Robert Constable
• Publisher Details: Amsterdam : Elsevier
• Publication Date: 2012
• Extent: 1 online resource (xii, 865 pages)
• Subjects: 160; Set theory; Logic, Symbolic and mathematical; Logic -- History; PHILOSOPHY -- Logic; Logic; Logic, Symbolic and mathematical; Set theory; Electronic books; History
• Languages: English
• ISBNs: 9780080930664; 0080930662
• Related ISBNs: 9780444516213
• Notes: Note: Includes bibliographical references and index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.