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
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Advanced Łukasiewicz calculus and MV-algebras
Advanced Łukasiewicz calculus and MV-algebras
Author 
Mundici, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0840-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for The Selected Correspondence of L.E.J. Brouwer
The Selected Correspondence of L.E.J. Brouwer
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-537-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Recursion Theory and Computational Complexity
Recursion Theory and Computational Complexity
Author 
Lolli, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11072-6
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Aspects of Mathematical Logic
Aspects of Mathematical Logic
Author 
Casari, E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11080-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Hyperfinite Dirichlet Forms and Stochastic Processes
Hyperfinite Dirichlet Forms and Stochastic Processes
Author 
Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19659-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Reading, Writing, and Proving A Closer Look at Mathematics
Reading, Writing, and Proving A Closer Look at Mathematics
Author 
Daepp, Ulrich. author. Gorkin, Pamela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9479-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Model Theory and Applications
Model Theory and Applications
Author 
Mangani, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Dual Tableaux: Foundations, Methodology, Case Studies
Dual Tableaux: Foundations, Methodology, Case Studies
Author 
Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathematics
Author 
Sommaruga, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0431-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo
Author 
Deiser, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01445-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
Author 
Manin, Yu. I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0615-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Mathematische Logik
Mathematische Logik
Author 
Ziegler, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0652-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets