Showing
1 - 9
results of
9
for search '
Gabbay, Dov M., 1945-
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Gabbay, Dov M., 1945-
Showing
1 - 9
results of
9
for search '
Gabbay, Dov M., 1945-
'
, query time: 0.03s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Interpolation and definability : modal and intuitionistic logic D.M. Gabbay, L. Maksimova.
by
Gabbay, Dov M., 1945
-
Published 2005
Click for online access
eBook
Save to List
Saved in:
Select result number 2
2
Temporal logic : mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
by
Gabbay, Dov M., 1945
-
Published 1994
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
Select result number 3
3
Philosophy of complex systems edited by Dov M. Gabbay.
Published 2011
Other Authors:
“…
Gabbay, Dov M., 1945
-…”
Click for online access
eBook
Save to List
Saved in:
Select result number 4
4
Handbook of philosophical logic edited by D. Gabbay and F. Guenthner.
Published 1983
Other Authors:
“…
Gabbay, Dov M., 1945
-…”
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
Select result number 5
5
The functional interpretation of logical deduction Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
by
Queiroz, Ruy J. G. B. de
Published 2012
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 6
6
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London edited by Johan Van Benthem, Dov Gabbay, Benedikt Löwe.
Published 2007
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 7
7
Handbook of logic in computer science edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Published 1992
Other Authors:
Call Number:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
Select result number 8
8
Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum.
Published 2020
Other Authors:
Click for online access
eBook
Save to List
Saved in:
Select result number 9
9
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming edited by Dov M. Gabbay, C.J. Hogger, and J.A. Robinson.
Published 2020
Other Authors:
“…
Gabbay, Dov M., 1945
-…”
Click for online access
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Logic, Symbolic and mathematical
Computer science
Logic
MATHEMATICS
Modality (Logic)
Computer programming
Definability theory (Mathematical logic)
Game Theory
Game theory
General
Infinity
Interpolation
Logic programming
Mathematics
Nonlinear systems
PHILOSOPHY