Limit Search Results
Author
SpringerLink (Online service)
(28)
Dalen, Dirk. author.
(2)
Kunen, Kenneth.
(2)
Aberdein, Andrew. editor.
(1)
Andréka, Hajnal. editor.
(1)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(29)
Mathematical Logic and Foundations.
(28)
Mathematics.
(17)
Computer science.
(14)
Mathematical Logic and Formal Languages.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
31 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Mathematical logic and foundations of set theory Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Author 
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422559
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The foundations of mathematics
The foundations of mathematics
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA9 K796 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Set theory
Set theory
Author 
Kunen, Kenneth.
Preferred Shelf Number 
QA248 K858 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Author 
Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330942.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher How Mathematics Is Rooted in Life
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331026.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Logical Introduction to Proof
A Logical Introduction to Proof
Author 
Cunningham, Daniel W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3631-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
Author 
Bajnok, Béla. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6636-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Mathematics of Paul Erdős II
The Mathematics of Paul Erdős II
Author 
Graham, Ronald L. editor. Nešetřil, Jaroslav. editor. Butler, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332243.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7254-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
Author 
Hardin, Christopher S. author. Taylor, Alan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332859.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01333-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Stochastic Calculus with Infinitesimals
Stochastic Calculus with Infinitesimals
Author 
Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33149-7
Format: 
Availability 
Online Library~1
Available:
Copies: