Limit Search Results
Author
SpringerLink (Online service)
(45)
Fried, Michael D. author.
(2)
Jarden, Moshe. author.
(2)
Löwe, Benedikt. editor.
(2)
Andreescu, Titu. author.
(1)
Language
Publication Date
-
Subject
Algebra.
(30)
Mathematics.
(27)
Computer science.
(21)
Algebra -- Data processing.
(15)
Logic design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
47 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943, author.
Preferred Shelf Number 
QA9.3 .M37 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithms in Invariant Theory
Algorithms in Invariant Theory
Author 
Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for A Beginner’s Guide to Graph Theory
A Beginner’s Guide to Graph Theory
Author 
Wallis, W. D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4580-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
Author 
Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7692-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Essays in Constructive Mathematics
Essays in Constructive Mathematics
Author 
Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138656
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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/b138352
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Valued Fields
Valued Fields
Author 
Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30035-X
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action