Limit Search Results
Author
SpringerLink (Online service)
(79)
Mostowski, Andrzej.
(7)
Tarski, Alfred.
(5)
Kuratowski, Kazimierz, 1896-1980.
(4)
Robinson, Abraham, 1918-1974.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(100)
Mathematics.
(61)
Logic.
(30)
Logic, Symbolic and mathematical -- Congresses.
(21)
Computer science.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
282 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies
Author 
Kennedy, Juliette. Kossak, Roman.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Proof Analysis A Contribution to Hilbert's Last Problem
Proof Analysis A Contribution to Hilbert's Last Problem
Author 
Negri, Sara. von Plato, Jan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Cover image for The Oxford handbook of Wittgenstein
The Oxford handbook of Wittgenstein
Author 
Kuusela, Oskari. McGinn, Marie.
Preferred Shelf Number 
B3376.W564 O95 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Discrete structures, logic, and computability
Discrete structures, logic, and computability
Author 
Hein, James L.
Preferred Shelf Number 
QA76.9.M35 H44 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action