Limit Search Results
Author
Language
Subject
Logic, Symbolic and mathematical.
(28)
Mathematics.
(9)
Computer science.
(7)
Logic.
(6)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Framework for Priority Arguments
A Framework for Priority Arguments
Author 
Lerman, Manuel.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic Colloquium 2007
Logic Colloquium 2007
Author 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logical Foundations of Proof Complexity
Logical Foundations of Proof Complexity
Author 
Cook, Stephen. Nguyen, Phuong.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic and Philosophy of Mathematics in the Early Husserl
Logic and Philosophy of Mathematics in the Early Husserl
Author 
Centrone, Stefania. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Truth through proof a formalist foundation for mathematics
Truth through proof a formalist foundation for mathematics
Author 
Weir, Alan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199541492.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Cardinal Invariants on Boolean Algebras
Cardinal Invariants on Boolean Algebras
Author 
Monk, J. Donald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0334-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
Author 
Chudnovsky, David. editor. Chudnovsky, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68361-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Cognitive Reasoning A Formal Approach
Cognitive Reasoning A Formal Approach
Author 
Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68875-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Banach Spaces and Descriptive Set Theory: Selected Topics
Banach Spaces and Descriptive Set Theory: Selected Topics
Author 
Dodos, Pandelis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12153-1
Format: 
Availability 
Online Library~1
Available:
Copies: