The Foundations of Mathematics

Kenneth Kunen

• Paperback | Engels | Studies in Logic: Mathematical Logic and Foundations
• Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, a... Lees meer

Classification Theory for Abstract Elementary Classes

Saharon Shelah

• Paperback | Engels | Studies in Logic: Mathematical Logic and Foundations
• An abstract elementary class (AEC) is a class of structures of a fixed vocabulary satisfying some natural closure properties. These classes encompass ... Lees meer

Set Theory

Kenneth Kunen

• Paperback | Engels | Studies in Logic: Mathematical Logic and Foundations
• This book is designed for readers who know elementary mathematical logic and axiomatic set theory, and who want to learn more about set theory. The pr... Lees meer

Reasoning in Simple Type Theory

• Paperback | Engels | Studies in Logic: Mathematical Logic and Foundations
• Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contribu... Lees meer

Classification Theory for Abstract Elementary Classes

Saharon Shelah

• Paperback | Engels | Studies in Logic: Mathematical Logic and Foundations
• An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that ... Lees meer