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
49. 
Cover image for Around and Beyond the Square of Opposition
Around and Beyond the Square of Opposition
Author 
Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Completeness Theory for Propositional Logics
Completeness Theory for Propositional Logics
Author 
Pogorzelski, Witold A. author. Wojtylak, Piotr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8518-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Author 
Kerkhove, Bart. Bendegem, Jean Paul. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5034-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Explaining Games The Epistemic Programme in Game Theory
Explaining Games The Epistemic Programme in Game Theory
Author 
de Bruin, Boudewijn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Logicism, Intuitionism, and Formalism What has Become of Them?
Logicism, Intuitionism, and Formalism What has Become of Them?
Author 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for A Graph-Theoretic Approach to Enterprise Network Dynamics
A Graph-Theoretic Approach to Enterprise Network Dynamics
Author 
Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Complete theories
Complete theories
Author 
Robinson, Abraham, 1918-1974.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533838
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action