Cover Image
Read Now

1
by Newborn, Monty
Published 2001
Springer New York
Table of Contents: “...A brief introduction to COMPILE, HERBY and THEO -- Predicate calculus, well-formed formulas...”
Cover Image
Read Now

2
Published 1983
Springer Berlin Heidelberg
Table of Contents: “...More saturated ideals -- Some results in the wadge hierarchy of borel sets -- Pointclasses and well...”
Cover Image
Read Now

3
Published 1985
Springer Netherlands
Table of Contents: “.... Recursion -- Recursion theoretic aspects of graphs and orders -- VII. Well-Quasi-Ordering -- Basic wqo...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... characterizations of logic program properties -- Computing the well-founded semantics faster -- Loop checking...”
Cover Image
Read Now

5
by Kechris, Alexander
Published 1995
Springer New York
Table of Contents: “.... Examples -- 28. Separation Theorems -- 29. Regularity Properties -- 30. Capacities -- 31. Analytic Well...”
Cover Image
Read Now

6
by Halmos, P. R.
Published 1974
Springer New York
Table of Contents: “... of Choice -- 16 Zorn’s Lemma -- 17 Well Ordering -- 18 Transfinite Recursion -- 19 Ordinal Numbers -- 20...”
Cover Image
Read Now

7
by Moore, G.H.
Published 1982
Springer New York
Table of Contents: “... -- 1.5 The Well-Ordering Problem and the Continuum Hypothesis -- 1.6 The Reception of the Well-Ordering...”
Cover Image
Read Now

8
Published 2003
Springer Netherlands
Table of Contents: “... Networks -- Section B Lithology, Well Logs, Prospectivity Mapping and Reservoir Characterisation -- 9 Fuzzy...”
Cover Image
Read Now

9
by Moschovakis, Yiannis
Published 1994
Springer New York
Table of Contents: “.... The natural numbers -- 6. Fixed points -- 7. Well ordered sets -- 8. Choices -- 9. Choice’s consequences -- 10...”
Cover Image
Read Now

10
by Adamson, Iain
Published 1998
Birkhäuser
Table of Contents: “... and Mappings -- 4 Families of Sets -- 5 Equivalence Relations -- 6 Order Relations -- 7 Well-Ordering -- 8...”
Cover Image
Read Now

11
by Doignon, Jean-Paul, Falmagne, Jean-Claude
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Related Works -- Problems -- 2. Well-Graded Knowledge Structures -- Essentially Finite Structures -- A...”
Cover Image
Read Now

12
by Johnson, D.L.
Published 1998
Springer London
Table of Contents: “... by Contraposition -- 1.4 Proof by Induction -- 1.5 Inductive Definition -- 1.6 The Well-ordering Principle -- 2...”
Cover Image
Read Now

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Encoding of the Halting Problem into the Monster Type and Applications -- Well-Going Programs Can Be Typed...”
Cover Image
Read Now

14
by Devlin, Keith
Published 1993
Springer New York
Table of Contents: “... Sets of Sets -- 1.5 Relations -- 1.6 Functions -- 1.7 Well-Or der ings and Ordinals -- 1.8 Problems...”
Cover Image
Read Now

15
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- Ordinal Types in Ramsey Theory and Well-Partial-Ordering Theory -- III. Structural Theory -- Partite...”
Cover Image
Read Now

16
Published 1987
Birkhäuser
Table of Contents: “... -- Regularity and Positional Games -- On Well-Quasi-Ordering Finite Trees -- On the Foundations of Combinatorial...”
Cover Image
Read Now

17
Published 2003
Birkhäuser
Table of Contents: “... with Semi-Almost Periodic Symbols -- Well-Posedness of Diffraction Problems Involving n Coplanar Strips...”
Cover Image
Read Now

18
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... planaires pointees -- Prefix-free words of length N over M letters : two-sided well-balanced parentheses...”
Cover Image
Read Now

19
by Bourbaki, N.
Published 2004
Springer Berlin Heidelberg
Table of Contents: “..., Cardinals, Integers -- § 1. Order relations. Ordered sets -- § 2. Well-ordered sets -- § 3. Equipotent sets...”
Cover Image
Read Now

20
by Devlin, K. J.
Published 1979
Springer New York
Table of Contents: “.... Sets of sets. -- 5. Relations. -- 6. Functions. -- 7. Well-orderings and ordinals. -- II. THE ZERMELO...”