Showing
1 - 14
results of
14
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Gabbay, Dov M., 1945-
Other:
Remove Filter
Logic, Symbolic and mathematical
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Author:
Remove Filter
Gabbay, Dov M., 1945-
Other:
Remove Filter
Logic, Symbolic and mathematical
Search Results
Showing
1 - 14
results of
14
for search '
'
, query time: 0.19s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Handbook of logic in computer science /
Published 1992
Call Number:
Loading...
Located:
Loading...
Book
Loading...
2
Handbook of logic in artificial intelligence and logic programming /
Published 1993
Call Number:
Loading...
Located:
Loading...
Book
Loading...
3
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published 1994
Call Number:
Loading...
Located:
Loading...
Book
Loading...
4
What is a logical system? /
Published 1994
Call Number:
Loading...
Located:
Loading...
Book
Loading...
5
Logic Colloquium '92 /
Published 1995
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
6
Fibring logics /
by
Gabbay, Dov M., 1945-
Published 1999
Call Number:
Loading...
Located:
Loading...
Book
Loading...
7
Frontiers of combining systems 2 /
Published 2000
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
8
Temporal logic : mathematical foundations and computational aspects /
by
Gabbay, Dov M., 1945-
Published 1994
Call Number:
Loading...
Located:
Loading...
Book
Loading...
9
Handbook of the logic of argument and inference : the turn towards the practical /
Published 2002
Call Number:
Loading...
Located:
Loading...
Book
Loading...
10
Mathematical problems from applied logic : logics for the XXIst century /
Published 2006
Call Number:
Loading...
Located:
Loading...
Book
Loading...
11
Mathematical problems from applied logic II : logics for the XXIst century /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
12
Mathematical problems from applied logic I : logics for the XXIst century /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Publisher description
eBook
13
Logical tools for handling change in agent-based systems /
by
Gabbay, Dov M., 1945-
Published 2010
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook
14
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Book
10 results
10
eBook
4 results
4
Conference Proceeding
3 results
3
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Gabbay, Dov M., 1945-
Goncharov, S. S.
3 results
3
SpringerLink (Online service)
3 results
3
Zakharyaschev, Michael
3 results
3
Rijke, Maarten de
2 results
2
Abramsky, Samson, 1953-
1 results
1
Association for Symbolic Logic
1 results
1
Augustus De Morgan Workshop London, England
1 results
1
Benthem, Johan van, 1949-
1 results
1
Csirmaz, László
1 results
1
Finger, Marcelo
1 results
1
FroCoS
1 results
1
Hodkinson, Ian
1 results
1
Hogger, Christopher John
1 results
1
JSTOR (Organization)
1 results
1
Logic Colloquium '92 1992
1 results
1
Löwe, Benedikt
1 results
1
Maibaum, Thomas S. E., 1947-
1 results
1
Ohlbach, Hans Jürgen
1 results
1
Reynolds, Mark (Mark A.)
1 results
1
Robinson, J. A. (John Alan)
1 results
1
Schlechta, Karl
1 results
1
see all…
Language
English
14 results
14
Loading...