Search Results - Gabbay Dov M.
- Showing 1 - 20 results of 40
- Go to Next Page
-
1
Investigations in modal and tense logics with applications to problems in philosophy and linguistics by Gabbay, Dov M. (1945-....)
Published 1976Call Number: Loading…
Located: Loading…Book Loading… -
2
Semantical investigations in Heyting's intuitionistic logic by Gabbay, Dov M. (1945-....)
Published 1981Call Number: Loading…
Located: Loading…Book Loading… -
3
Labelled deductive systems. vol. 1 by Gabbay, Dov M. (1945-....)
Published 1996Call Number: Loading…
Located: Loading…Book Loading… -
4
Mathematical Problems from Applied Logic. II : Logics for the XXIst Century by Gabbay, Dov M. (1945-....)
Call Number: Loading…Online Access Nantes Université
Located: Loading…
Book -
5
Handbook of the history of logic. Volume 5, Logic from Russell to Church by Gabbay, Dov M. (1945-....)
Published 2009Call Number: Loading…
Located: Loading…Book Loading… -
6
Handbook of the history of logic. Volume 11, Logic : a history of its central concepts by Gabbay, Dov M. (1945-....)
Published 2012Call Number: Loading…
Located: Loading…Book Loading… -
7
Proof Theory for Fuzzy Logics (Applied logic series ; v. 36)
Technical issue : access is not possible !
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.Springer
Coverage édition 2009
Book -
8
What is negation ? by Gabbay, Dov M. (1945-....), Wansing, Heinrich (1963-....)
Published 1999Call Number: Loading…
Located: Loading…Book Loading… -
9
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Technical issue : access is not possible !
by Gabbay, Dov M., Löwe, Benedikt, Benthem, J. F.Amsterdam University Press
Coverage édition 2007
Book -
10
Temporal logic : mathematical foundations and computational aspects. Volume2 by Gabbay, Dov M. (1945-....), Finger, Marcelo, Reynolds, Mark
Published 2000Call Number: Loading…
Located: Loading…Book Loading… -
11
Proof theory for fuzzy logics by Metcalfe, George (1974-....), Gabbay, Dov M. (1945-....), Olivetti, Nicola (19..-....)
Published 2009Call Number: Loading…Available online :
Located: Loading…
Online Proof Theory for Fuzzy Logics (Applied logic series ; v. 36) (2009)
Book Loading… -
12
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied logic series ; v. 35)
Technical issue : access is not possible !
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, CristinaSpringer Netherlands
Coverage édition 2008
Book -
13
-
14
What is Negation?
Technical issue : access is not possible !
Springer Netherlands
Coverage édition 1999
Book -
15
Mathematical Problems from Applied Logic I: Logics for the XXIst Century (International mathematical series ; v. 4)
Technical issue : access is not possible !
Springer
Coverage édition 2006
Book -
16
Handbook of defeasible reasoning and uncertainty management systems. Vol. 1, Quantified representation of uncertainty and imprecision
Published 1998Call Number: Loading…
Located: Loading…Book Loading… -
17
Handbook of Philosophical Logic by Gabbay, D.M.
Published 2007Call Number: Loading…Online Access Nantes Université
Located: Loading…
Book -
18
Handbook of Philosophical Logic. Volume II, Extensions of classical logic
Published 1984Call Number: Loading…
Located: Loading…Book Loading… -
19
Handbook of philosophical logic
Published 1983Call Number: Loading…
Located: Loading…Book Loading… -
20
Handbook of philosophical logic. Volume 1
Published 2001Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Logique
Logique Histoire
Logique mathématique
Informatique Mathématiques
Programmation (informatique)
Computer science
Langage et logique
Logic, Symbolic and mathematical
Philosophie du langage
Logique informatique
Mathematics
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Automates
Computer logic
Heyting, Arend Critique et interprétation
Induction (logique)
Langages de programmation Sémantique
Language and languages Philosophy
Linguistics Science_xLogic design
Logic
Logic design
Logics and Meanings of Programs
Logique Philosophie
Logique intuitionniste
Machine theory
Mathematical Logic and Formal Languages
Mathematical logic
Modalité (logique)
Philosophie