Limit Search Results
Author
SpringerLink (Online service)
(227)
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.
(324)
Mathematics.
(129)
Computer science.
(102)
Logic.
(49)
Artificial intelligence.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
370 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
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:
52. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik
Author 
Hoffmann, Dirk W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34720-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Author 
Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336850.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69444-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
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:
57. 
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:
58. 
Cover image for Önermeler mantığı
Önermeler mantığı
Author 
Nesin, Ali.
Preferred Shelf Number 
QA270 N476 2013
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
59. 
Cover image for Discrete mathematics and its applications
Discrete mathematics and its applications
Author 
Rosen, Kenneth H. Krithivasan, Kamala.
Preferred Shelf Number 
QA39.3 R674 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
60. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets