Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(295)
Mathematics.
(125)
Computer science.
(101)
Logic.
(47)
Artificial intelligence.
(34)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
333 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler
Author 
Zeidler, Eberhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337476.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331026.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Author 
Hasegawa, Masahito. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334702.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338283.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-3000-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Logicism and its philosophical legacy
Logicism and its philosophical legacy
Author 
Demopoulos, William.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=508286
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for An introduction to Gödel's theorems
An introduction to Gödel's theorems
Author 
Smith, Peter, 1944- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=533820
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
Select an Action