Logica. Incompletezza, teoria assiomatica degli insiemi / Volume 2, (2018)

• Record Type: Book
• Other Titles: Incompletezza, teoria assiomatica degli insiemi
• Further Information: Note: Vito Michele Abrusci, Lorenzo Tortora de Falco.
• Authors: Abrusci, V. M (V. Michele); Tortora de Falco, Lorenzo
• Contents: 1 Introduzione alla Parte I -- 2 Decidibilità e risultati fondamentali di teoria della ricorsività -- 3 L’aritmetica di Peano -- 4 Introduzione alla Parte II -- 5 La teoria assiomatica di Zermelo (Z) e quella di Zermelo-Fraenkel (ZF) -- 6 Gli ordinali -- 7 La gerarchia V e l’assioma di Fondazione -- 8 L’assioma di scelta -- 9 I cardinali.
• Publisher Details: Milano, Italia : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiii, 439 pages)
• Subjects: 511.3/22; Set theory; Set theory; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Electronic books
• Languages: Italian
• ISBNs: 9788847039681; 8847039681
• Related ISBNs: 9788847039674
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed November 30, 2018).
• 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.