Limit Search Results
Author
SpringerLink (Online service)
(28)
Andreescu, Titu. author.
(1)
Andrew, Alex M. author.
(1)
Artemov, Sergei. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Language
Subject
Logic, Symbolic and mathematical.
(37)
Mathematics.
(13)
Computer science.
(12)
Algebra -- Data processing.
(6)
Algebra.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
39 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
Author 
Marquis, Jean-Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9384-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics
Author 
Constanda, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-539-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Introduction to Boolean Algebras
Introduction to Boolean Algebras
Author 
Halmos, Paul. author. Givant, Steven. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68436-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
Author 
Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74642-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Author 
Solojentsev, Evgueni D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Proof Theory The First Step into Impredicativity
Proof Theory The First Step into Impredicativity
Author 
Pohlers, Wolfram. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69319-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logische Grundlagen der Mathematik
Logische Grundlagen der Mathematik
Author 
Schindler, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95932-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information
Author 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00659-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Author 
Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets