Limit Search Results
Author
SpringerLink (Online service)
(48)
Gabbay, Dov M. author.
(4)
Schlechta, Karl. author.
(4)
Carnielli, Walter. author.
(2)
Gupta, Amitabha. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
50 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
Author 
Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Strict Finitism and the Logic of Mathematical Applications
Strict Finitism and the Logic of Mathematical Applications
Author 
Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1347-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Author 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets