2
Published 2000
Springer Netherlands
... theoretical advances in these areas and especially in logic have accelerated the study of context...

3
by Carmichael, Gerschom
Published 1736
Impensis Jo. Paton bibliopolæ: et prostant venales in officina ejus in area parliamentaria

4
by Weber, Zach
Published 2022
Cambridge University Press
..., without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non...

5
Published 1999
Springer Netherlands
... area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types...

6
by Barberis, Matteo
Published 2019
Frontiers Media SA
... key findings and historical advances in a hot research area! Find out more on how to host your own...

7
by Hansson, Sven Ove
Published 1999
Springer Netherlands
.... This, the first textbook in the new area, contains both discursive chapters with a minimum of formalism and formal...

8
Published 2023
Springer International Publishing
... with new trends and applications in the area of Dynamic Logic....

9
by Rubinelli, Sara
Published 2009
Springer Netherlands
... methods of topoi and, by exploring their relationship, it illuminates an area of ancient rhetoric...

10
Published 1998
Springer Netherlands
..., economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook...

11
by Paoli, F.
Published 2002
Springer Netherlands
... in the area will find an up-to-date survey of the most important current research topics and problems...

12
Published 1995
Springer Netherlands
... and theoretical work in the area of quantification in particular. The same trio organized a six-week workshop...

13
by Marcja, Annalisa, Toffalori, Carlo
Published 2003
Springer Netherlands
.... It is a lively and fertile research area which deserves the attention of the mathematical world...

14
Published 2001
Springer Netherlands
...Domain theory is a rich interdisciplinary area at the intersection of logic, computer science...

15
by Rescher, N.
Published 1967
Springer Netherlands
... even the later Arab logicians themselves came to despair. In the process, a substantially new area...

16
by Hintikka, Jaakko
Published 1969
Springer Netherlands
... of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area...

17
Published 1998
Springer Netherlands
..., economists and engineers. The present Handbook volumes provide frontline coverage of this area. This Handbook...

18
by Beth, E.W.
Published 1970
Springer Netherlands
...It is common to consider an area of science as a system of real or sup­ posed truths which not only...

19
Published 2003
Springer Netherlands
... computation. The theory of domains has proved to be a useful tool for programming languages and other areas...

20
Published 2014
Springer Netherlands
... logics, and to utilize it to obtain some major results in the area.   Beginning with a chapter which...