1
by Priese, Lutz, Wimmel, Harro
Published 2008
Springer Berlin Heidelberg
Table of Contents: ..., Erreichbarkeit, Erzeugbarkeit -- Petri-Netz-Sprachen -- True-Concurrency Verhalten von Petri-Netzen -- Pomset...

2
by Hintikka, Jaakko
Published 1998
Springer Netherlands
Table of Contents: ...1. What Is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic -- 2. A...

3
by Džamonja, Mirna
Published 2021
Cambridge University Press
... they are true and will be brought to ask: what else could be true? Having presented forcing in Part I...

4
by Bajnok, Béla
Published 2020
Springer International Publishing
Table of Contents: ...'s Play a Game! -- 2 What's the Name of the Game? -- 3 How to Make a Statement -- 4 What's True...

5
Published 1993
Springer Netherlands
Table of Contents: ... Groups -- Three Remarks on End-Faithfulness -- True Embedding Partition Relations -- Lattices Related...

6
by Weber, Zach
Published 2021
Cambridge University Press
... paraconsistency" - a formal framework where some contradictions can be true without absurdity - as the basis...

7
Published 2007
Birkhäuser
Table of Contents: ... is True for Circulants -- Two-arc Transitive Near-polygonal Graphs -- Open Problems...

8
by Gusfield, Dan
Published 2024
Cambridge University Press
...In mathematics, it simply is not true that 'you can't prove a negative'. Many revolutionary...

9
Published 1987
Springer Netherlands
..., the solutions of which might turn out not to be the solutions to the real prob­ lems. This is particularly true...

10
by Spencer, Joel
Published 2001
Springer Berlin Heidelberg
... rapidly move from almost certainly false to almost certainly true. This book now joins the study of random...

11
by Goldrei, Derek
Published 2005
Springer London
...; - the interpretation of formulas as true or false in a mathematical structure; - logical consequence of one formula...

12
by Li, Yusheng, Lin, Qizhong
Published 2022
Springer International Publishing
... chapter includes a true beginner’s overview of elementary examples in graph Ramsey theory mainly using...

13
by Gabbay, Dov M.
Published 2007
North Holland

14
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...).-Interpreting true arithmetic in degree structures -- Classical proofs as programs -- Completeness of the pool...

15
by Lee, Kwang Hyung
Published 2014
Springer Netherlands
... that creativity cannot be cultivated. Is it true? In general, our thinking sticks to reality unless there is any...

16
by Gerla, G.
Published 2001
Springer Netherlands
... can be satisfied to a degree different from 0 (false) and I (true). It is worth noting...

17
by Moschovakis, Yiannis
Published 1994
Springer New York
... the relatively few and elegant axioms about sets. Nothing so simple-minded can be quite true, but there is little...

18
by Comtet, Louis
Published 1974
Springer Netherlands
... subject. Certain classical aspects have been passed by, and the true title ought to be "Various questions...

19
by Wygralak, M.
Published 1996
Springer Netherlands
... for applications because of their (too) categorical character: 'true - false', 'belongs - does not belong...

20
by Johnson, D.L.
Published 1998
Springer London
...In mathematics we are interested in why a particular formula is true. Intuition and statistical...