Limit Search Results
Author
SpringerLink (Online service)
(57)
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Gabbay, Dov M. editor.
(2)
Goncharov, Sergei S. editor.
(2)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(58)
Logic.
(17)
Mathematical Logic and Foundations.
(11)
Computer science.
(9)
Global analysis (Mathematics).
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Author 
Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-45388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mathematical Problems from Applied Logic II Logics for the XXIst Century
Mathematical Problems from Applied Logic II Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69245-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Number Theory An Introduction via the Distribution of Primes
Number Theory An Introduction via the Distribution of Primes
Author 
Fine, Benjamin. author. Rosenberger, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4541-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for 104 Number Theory Problems From the Training of the USA IMO Team
104 Number Theory Problems From the Training of the USA IMO Team
Author 
Andreescu, Titu. author. Andrica, Dorin. author. Feng, Zuming. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Passione per Trilli Alcune idee dalla matematica
Passione per Trilli Alcune idee dalla matematica
Author 
Lucchetti, Roberto. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-0629-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Discrete mathematics and its applications
Discrete mathematics and its applications
Author 
Rosen, Kenneth H.
Preferred Shelf Number 
QA39.3 R674 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
55. 
Cover image for 18 Unconventional Essays on the Nature of Mathematics
18 Unconventional Essays on the Nature of Mathematics
Author 
Hersh, Reuben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29831-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Théorie des ensembles
Théorie des ensembles
Author 
Bourbaki, N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Essays in Constructive Mathematics
Essays in Constructive Mathematics
Author 
Edwards, Harold M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138656
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Propositional and Predicate Calculus A Model of Argument
Propositional and Predicate Calculus A Model of Argument
Author 
Goldrei, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-229-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action