Limit Search Results
Author
Language
Publication Date
-
2013
(28)
Subject
Logic, Symbolic and mathematical.
(28)
Mathematics.
(17)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(11)
Logic.
(6)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Author 
Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
Author 
Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
Author 
Hinkis, Arie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332605.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0224-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 The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Author 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Real Numbers An Introduction to Set Theory and Analysis
The Real Numbers An Introduction to Set Theory and Analysis
Author 
Stillwell, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332876.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01577-4
Format: 
Availability 
Online Library~1
Available:
Copies: