Cover Image
Read Now

1
by Cantone, Domenico, Ursino, Pietro
Published 2018
Springer International Publishing
Table of Contents: “...Part I: Theoretical Apparatus -- Basics of Set Theory -- The Decision Problem in Set Theory...”
Cover Image
Read Now

2
by Mechkaroska, Daniela, Popovska-Mitrovikj, Aleksandra, Bakeva, Verica
Published 2024
Springer Nature Switzerland
Subjects: “...Set theory...”
Cover Image
Read Now

3
by deHaan, Lex, Koppelaars, Toon
Published 2007
Apress
Table of Contents: “...The Mathematics -- Logic: Introduction -- Set Theory: Introduction -- Some More Logic -- Relations...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... ?-terms -- I/O automata in Isabelle/HOL -- A concrete final coalgebra theorem for ZF set theory...”
Cover Image
Read Now

5
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “... Abstraction -- 5 Formal Systems -- 6 Logic -- 7 Set Theory and Relations -- 8 Algebraic Specification -- 9...”
Cover Image
Read Now

6
Published 2015
Springer Berlin Heidelberg
Table of Contents: “... in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's Continuum to Binary Relations...”
Cover Image
Read Now

7
by Hazrat, Roozbeh
Published 2015
Springer International Publishing
Table of Contents: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Cover Image
Read Now

8
by Huisman, Marieke, Wijs, Anton
Published 2023
Springer International Publishing
Table of Contents: “...1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4...”
Cover Image
Read Now

9
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”
Cover Image
Read Now

10
by Shanahan, James G.
Published 2000
Springer US
Table of Contents: “...I -- 1 Knowledge Discovery -- II -- 2 Knowledge Representation -- 3 Fuzzy Set Theory -- 4 Fuzzy...”
Cover Image
Read Now

11
by Date, C. J.
Published 2013
O'Reilly Media, Inc.
Table of Contents: “... vs. the relational model -- A tutorial D grammar -- TABLE_DUM and TABLE_DEE -- Set theory...”
Cover Image
Read Now

12
Published 2013
Springer London
Table of Contents: “... and the Evolution of Programming -- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly...”
Cover Image
Read Now

13
by Ben-Gan, Itzik
Published 2009
Microsoft Press
Table of Contents: “...Chapter 1: Logical Query Processing -- Chapter 2: Set Theory and Predicate Logic -- Chapter 3...”
Cover Image
Read Now

14
by Alagar, V.S., Periyasamy, K.
Published 2011
Springer London
Table of Contents: “... Specifications -- Set Theory and Relations -- Part V: Property-oriented Specifications -- Algebraic Specification...”
Cover Image
Read Now

15
by Ben-Ari, Mordechai
Published 2012
Springer London
Table of Contents: “... -- Verification of Concurrent Programs -- Set Theory -- Index of Symbols -- Index of Names -- Subject Index...”
Cover Image
Read Now

16
by Skrzypczak, Michał
Published 2016
Springer Berlin Heidelberg
“..., and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set...”
Cover Image
Read Now

17
Published 2015
Springer International Publishing
Table of Contents: “... with Regression Analysis in Transaction Logic -- Web ontology representation and reasoning via fragments of set...”
Cover Image
Read Now

18
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The logic of FOL systems: Formulated in set theory -- Well-ordering of algebras and Kruskal's theorem...”
Cover Image
Read Now

19
by Date, C. J.
Published 2005
O'Reilly
“.... Instead, let Chris's clear explanation of relational concepts, set theory, the difference between model...”
Cover Image
Read Now

20
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Rough Set Theory with Application to Data Classification...”