Limit Search Results
Author
SpringerLink (Online service)
(153)
Andreescu, Titu. author.
(3)
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Hoffmann, Dirk W. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(129)
Computer science.
(37)
Algebra.
(27)
Logic.
(22)
Number theory.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
159 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
Author 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137041
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management
The Logic of Logistics Theory, Algorithms, and Applications for Logistics and Supply Chain Management
Author 
Simchi-Levi, David. author. Chen, Xin. author. Bramel, Julien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b97669
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Author 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Methods of Cut-Elimination
Methods of Cut-Elimination
Author 
Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0320-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advanced Łukasiewicz calculus and MV-algebras
Advanced Łukasiewicz calculus and MV-algebras
Author 
Mundici, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
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:
48. 
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:
Select an Action