Limit Search Results
Author
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Gabbay, Dov M. editor.
(2)
Goncharov, Sergei S. editor.
(2)
Herzberg, Frederik. author.
(2)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(61)
Mathematics.
(57)
Logic.
(22)
Computer science.
(13)
Mathematical Logic and Foundations.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
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:
62. 
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:
63. 
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:
64. 
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:
65. 
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:
66. 
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:
67. 
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:
68. 
Cover image for Modern Formal Methods and Applications
Modern Formal Methods and Applications
Author 
Gabbar, Hossam A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4223-X
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
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:
70. 
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:
71. 
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:
72. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets