Cover Image
Read Now

1
by Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto
Published 2001
Springer New York
Table of Contents: “...1 What Is Computable Set Theory? -- 2 Logical Background -- 3 Axiomatic Views of Aggregates -- 4...”
Cover Image
Read Now

2
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
“... on computational logic and set theory and its application to proof verification techniques, culminating...”
Cover Image
Read Now

3
by Supowit, Kenneth J.
Published 2023
Birkhäuser
Table of Contents: “...1 Index of notation and terms -- 2 Set theory, requirements, witnesses -- 3 What’s new...”
Cover Image
Read Now

4
by Alexandru, Andrei, Ciobanu, Gabriel
Published 2016
Springer International Publishing
Table of Contents: “...Introduction -- Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics...”
Cover Image
Read Now

5
by O'Donnell, John, Hall, Cordelia, Page, Rex
Published 2006
Springer London
Table of Contents: “... -- Trees -- Logic -- Propositional Logic -- Predicate Logic -- Set Theory -- Set Theory -- Inductively...”
Cover Image
Read Now

6
by Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.
Published 2017
Springer International Publishing
“...-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a short discussion...”
Cover Image
Read Now

7
by Downey, Rod
Published 2024
Springer Nature Switzerland
Table of Contents: “...Introduction -- Some Naive Set Theory -- Regular Languages and Finite Automata -- General Models...”
Cover Image
Read Now

8
by Comninos, Peter
Published 2006
Springer London
Table of Contents: “...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...”
Cover Image
Read Now

9
by turner, raymond
Published 2009
Springer London
Table of Contents: “... -- Functions -- Preconditions -- Natural Numbers -- Typed Set Theory -- Systems Modeling -- A Type of Types...”
Cover Image
Read Now

10
by Erciyes, K.
Published 2021
Springer International Publishing
Table of Contents: “...Preface -- Part I: Fundamentals of Discrete Mathematics -- Logic -- Proofs -- Algorithms -- Set...”
Cover Image
Read Now

11
by Dzhafarov, Damir D., Mummert, Carl
Published 2022
Springer International Publishing
Table of Contents: “... principles -- Part IV Other areas: 10 Analysis and topology -- 11 Algebra -- 12 Set theory and beyond...”
Cover Image
Read Now

12
Published 2003
Physica
Table of Contents: “...Soft Computing for Softgoods Supply Chain Analysis and Decision Support -- Application of Fuzzy Set...”
Cover Image
Read Now

13
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
Table of Contents: “... A Comparative Guide -- VI Elements of Set Theory -- 1 Some Basic Axioms of Set Theory -- 2 Boole’s...”
Cover Image
Read Now

14
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...On Relating Type Theories and Set Theories -- Communication Modelling and Context-Dependent...”
Cover Image
Read Now

15
by Krantz, Steven G.
Published 2002
Birkhäuser
Table of Contents: “... -- 3.5 Decidability and Undecidability -- 3.6 Independence -- 4 The Axioms of Set Theory -- 4.1...”
Cover Image
Read Now

16
by LeCuyer, Edward J.
Published 1978
Springer New York
Table of Contents: “...1 Set theory -- 1.1 Sets -- 1.2 Operations with Sets -- 1.3 A set theory drill and practice program...”
Cover Image
Read Now

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Relational set theory -- Proof of a S.Mac Lane conjecture (extended abstract) -- Effective applicative...”
Cover Image
Read Now

18
by Chakraverty, Snehashish, Sahoo, Deepti Moyi, Mahato, Nisha Rani
Published 2019
Springer Nature Singapore
“... major concepts of soft computing: fuzzy set theory and neural networks, which relate to uncertainty...”
Cover Image
Read Now

19
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Interfaces as Games, Programs as Strategies -- ?Z: Zermelo’s Set Theory as a PTS with 4 Sorts -- Exploring...”
Cover Image
Read Now

20
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... of Substructural Logics -- Knuth-Bendix Completion as a Data Structure -- Quantifier Elimination in Elementary Set...”