Limit Search Results
Author
SpringerLink (Online service)
(25)
Carnielli, Walter. author.
(2)
Priese, Lutz. author.
(2)
Bel-Enguix, Gemma. editor.
(1)
Black, Max, 1909-
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
0000000000DEFAULT
Print
25. 
Cover image for Discrete Thoughts Essays on Mathematics, Science and Philosophy
Discrete Thoughts Essays on Mathematics, Science and Philosophy
Author 
Kac, Mark. author. Rota, Gian-Carlo. author. Schwartz, Jacob T. author. Renz, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4775-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Indiscrete Thoughts
Indiscrete Thoughts
Author 
Rota, Gian-Carlo. Palombi, Fabrizio. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4781-0
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for New essays on Tarski and philosophy
New essays on Tarski and philosophy
Author 
Patterson, Douglas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199296309.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Mathematics, Models, and Modality Selected Philosophical Essays
Mathematics, Models, and Modality Selected Philosophical Essays
Author 
Burgess, John P..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Field Arithmetic
Field Arithmetic
Author 
Fried, Michael D. author. Jarden, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77270-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Petri-Netze
Petri-Netze
Author 
Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76971-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for New Developments in Formal Languages and Applications
New Developments in Formal Languages and Applications
Author 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
Author 
Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies: