Call Number (LC) | Title | Results |
---|---|---|
QA248 .B83 | Introduction to the theory of sets / | 1 |
QA248 .B87 2022 | Set Theory / | 1 |
QA248 .B95 | Foundations of real numbers / | 1 |
QA248 .B9657 2018 | Journey into discrete mathematics / | 1 |
QA248 .C17 1998 | Sets, Logic and Categories. | 1 |
QA248 .C17 1999 | Sets, logic and categories / | 1 |
QA248 .C18 |
The structure of arithmetic The structure of arithmetic / |
2 |
QA248 .C1945 2001 | Set theory for computing : from decision procedures to declarative programming with sets / | 1 |
QA248 .C1945 2001eb | Set theory for computing : from decision procedures to declarative programming with sets / | 1 |
QA248 .C2 | Contributions to the founding of the theory of transfinite numbers / | 1 |
QA248 .C2 1915a | Contributions to the founding of the theory of transfinite numbers / | 1 |
QA248 .C33 2012 | ||
QA248 .C3513 | Point sets / | 1 |
QA248 .C43 | Sets, matrices, and linear programming / | 1 |
QA248 .C45 1965 | Introduction to logic and sets / | 1 |
QA248 .C473 2004 | The Covering property Axiom, CPA : a combinatorial core of the iterated perfect set model / | 1 |
QA248 .C473 2004eb | The Covering property Axiom, CPA : a combinatorial core of the iterated perfect set model / | 2 |
QA248 .C475 1997 | Set theory for the working mathematician : Krzysztof Ciesielski. | 1 |
QA248 .C475 1997eb | Set theory for the working mathematician / | 1 |
QA248 .C48 1981eb | Axiomatic set theory impredicative theories of classes / | 1 |