Cover Image
Read Now

1
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... fields -- Some remarks on the mathematical incompleteness of Peano’s arithmetic found by paris...”
Cover Image
Read Now

2
by Harzheim, Egbert
Published 2005
Springer US
Table of Contents: “... -- Applications of the splitting method -- The dimension of posets -- Well-founded posets, pwo-sets and trees...”
Cover Image
Read Now

3
by Kunen, Kenneth
Published 1980
North-Holland Pub. Co.
Table of Contents: “.... The c.u.b. filter; 7. O and 0+; Exercises for Chapter II; Chapter III. The well-founded sets; 1...”
Cover Image
Read Now

4
by Crossley, J.N., Nerode, A.
Published 1974
Springer Berlin Heidelberg
Table of Contents: “... Sentences I -- 29. Universal Sentences II -- VIII. Sound Values -- 30. Soundly Based Types -- 31. Extending...”
Cover Image
Read Now

5
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

6
by Kechris, Alexander
Published 1995
Springer New York
Table of Contents: “...-founded Relations -- IV Co-Analytic Sets -- 32. Review -- 33. Examples -- 34. Co-Analytic Ranks -- 35...”
Cover Image
Read Now

7
by Cunningham, Daniel
Published 2023
De Gruyter
Table of Contents: “...1 Basic set theory and basic logic 2 Propositional logic 3 First-order logic 4 Soundness...”
Cover Image
Read Now

8
by Cutland, Nigel J.
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- The Black-Scholes Model... The complete table of contents can be found on the Internet: http...”
Cover Image
Read Now

9
by Lauri, Josef, Scapellato, Raffaele
Published 2016
Cambridge University Press
“... that involve the symmetry of graphs, many of which are not to be found in other books. This second edition...”
Cover Image
Read Now

10
by Calugareanu, Grigore
Published 2000
Springer Netherlands
“... are of the following categories: the folklore of Lattice Theory (to be found in each Lattice Theory book), module...”
Cover Image
Read Now

11
by Dau, Frithjof
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... for Nonexistential Concept Graphs -- 5 Calculus for Nonexistential Concept Graphs -- 6 Soundness and Completeness...”
Cover Image
Read Now

12
Published 1990
Springer New York
“... Theory are areas of Combinatorics which found rich applications of algebraic structures. Combinatorial...”
Cover Image
Read Now

13
by Halbeisen, Lorenz, Krapf, Regula
Published 2020
Birkhäuser
Table of Contents: “...: The Grammar of Symbols -- Semantics: Making Sense of the Symbols -- Soundness & Completeness -- Part II...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Nets to an Implementation in Several Workflow Systems -- Soundness of Workflow Nets with Reset Arcs...”
Cover Image
Read Now

15
by Estrada, Ricardo, Kanwal, Ram P.
Published 1994
Birkhäuser
“...Asymptotic analysis is an old subject that has found applications in vari­ ous fields of pure...”
Cover Image
Read Now

16
Published 2024
Springer Nature Switzerland
Table of Contents: “... of Multilevel Syllogistic -- An Automatically Verified Prototype of a Landing Gear System -- A Sound...”
Cover Image
Read Now

17
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
“... are provided for a combined logic to be sound and complete when the original component logics are known...”
Cover Image
Read Now

18
Published 2020
Springer International Publishing
Table of Contents: “... of Uncertain Worlds: Programming with Logical Constraints -- A Globally Sound Analytic Calculus for Henkin...”
Cover Image
Read Now

19
by Pohlers, Wolfram
Published 1989
Springer Berlin Heidelberg
“...Although this is an introductory text on proof theory, most of its contents is not found in a...”
Cover Image
Read Now

20
by Anderson, James A., Head, Thomas J.
Published 2006
Cambridge University Press
“... as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6...”