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
Shelf Location
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 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:
2. 
Cover image for Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Author 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
Cover image for An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
Author 
Bajnok, Béla. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Stochastic Calculus with Infinitesimals
Stochastic Calculus with Infinitesimals
Author 
Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334018.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35644-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334038.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: 
Availability 
Online Library~1
Available:
Copies: