Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
29 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Congruences of a Finite Lattice A Proof-by-Picture Approach
The Congruences of a Finite Lattice A Proof-by-Picture Approach
Author 
Grätzer, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-8176-4462-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Notes on Set Theory
Notes on Set Theory
Author 
Moschovakis, Yiannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31609-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
More Sets, Graphs and Numbers A Salute to Vera Sós and András Hajnal
Author 
Győri, Ervin. Katona, Gyula O. H. Lovász, László. Fleiner, Tamás. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32439-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Author 
Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-36023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Commonsense reasoning
Commonsense reasoning
Author 
Mueller, Erik T.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Finite Model Theory
Finite Model Theory
Author 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Parameterized Complexity Theory
Parameterized Complexity Theory
Author 
Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29953-X
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Théorie des ensembles
Théorie des ensembles
Author 
Bourbaki, N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Axiom of Choice
Axiom of Choice
Author 
Herrlich, Horst. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601562
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Author 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814948
Format: 
Availability 
Online Library~1
Available:
Copies: