Limit Search Results
Author
Language
Publication Date
-
Subject
Mathematics.
(8)
Mathematical Logic and Foundations.
(6)
Logic, Symbolic and mathematical.
(5)
Computer science.
(4)
Order, Lattices, Ordered Algebraic Structures.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Concept Analysis Mathematical Foundations
Formal Concept Analysis Mathematical Foundations
Author 
Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63422-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Solving Polynomial Equations Foundations, Algorithms, and Applications
Solving Polynomial Equations Foundations, Algorithms, and Applications
Author 
Bronstein, Manuel. editor. Cohen, Arjeh M. editor. Cohen, Henri. editor. Eisenbud, David. editor. Sturmfels, Bernd. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138957
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for New Foundations in Mathematics The Geometric Concept of Number
New Foundations in Mathematics The Geometric Concept of Number
Author 
Sobczyk, Garret. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8385-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Foundations of Grothendieck Duality for Diagrams of Schemes
Foundations of Grothendieck Duality for Diagrams of Schemes
Author 
Lipman, Joseph. author. Hashimoto, Mitsuyasu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85420-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The metamathematics of algebraic systems, collected papers: 1936-1967
The metamathematics of algebraic systems, collected papers: 1936-1967
Author 
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967. Wells, Benjamin Franklin.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422665
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
Author 
Abe, Jair Minoro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97810-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Author 
Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Author 
Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42282-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Group-Theoretic Methods in Mechanics and Applied Mathematics
Group-Theoretic Methods in Mechanics and Applied Mathematics
Author 
Klimov, D.M., author. Zhuravlev, V. Ph, author.
Preferred Shelf Number 
QC20.7 .G76 K556 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: