Limit Search Results
Author
SpringerLink (Online service)
(33)
Dompere, Kofi Kissi. author.
(3)
Lindström, Sten. editor.
(2)
Palmgren, Erik. editor.
(2)
Wright, Georg Henrik von, 1916-
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
00000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Phenomenology and Mathematics
Phenomenology and Mathematics
Author 
Hartimo, Mirja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3729-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Author 
Dybjer, P. editor. Lindström, Sten. editor. Palmgren, Erik. editor. Sundholm, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell
Author 
DeVidi, David. editor. Hallett, Michael. editor. Clarke, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for The Arché Papers on the Mathematics of Abstraction
The Arché Papers on the Mathematics of Abstraction
Author 
Cook, Roy T. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4265-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
Author 
Benthem, Johan. Heinzmann, Gerhard. Rebuschi, Manuel. Visser, Henk. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5012-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Foundations of geometry and induction : containing geometry in the sensible world and the logical problem of induction
Author 
Nicod, Jean, 1893-1924.
Preferred Shelf Number 
QA 681 N5 1930 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
13. 
Cover image for Logical studies
Logical studies
Author 
Wright, Georg Henrik von, 1916-
Preferred Shelf Number 
BC 6 W72 1957 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
14. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for A treatise on induction and probability
A treatise on induction and probability
Author 
Wright, Georg Henrik von, 1916-
Preferred Shelf Number 
BC 91 W72 1951 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Nomological statements and admissible operations
Nomological statements and admissible operations
Author 
Reichenbach, Hans, 1891-1953.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533791
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Ancient formal logic
Ancient formal logic
Author 
Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus
Author 
Tapp, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336968.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29654-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Around and Beyond the Square of Opposition
Around and Beyond the Square of Opposition
Author 
Béziau, Jean-Yves. editor. Jacquette, Dale. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic : the laws of truth
Logic : the laws of truth
Author 
Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7sr96
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Games, Norms and Reasons Logic at the Crossroads
Games, Norms and Reasons Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0714-6
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Handbook of Set Theory
Handbook of Set Theory
Author 
Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5764-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Explaining Games The Epistemic Programme in Game Theory
Explaining Games The Epistemic Programme in Game Theory
Author 
de Bruin, Boudewijn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9906-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logicism, Intuitionism, and Formalism What has Become of Them?
Logicism, Intuitionism, and Formalism What has Become of Them?
Author 
Lindström, Sten. editor. Palmgren, Erik. editor. Segerberg, Krister. editor. Stoltenberg-Hansen, Viggo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities
Author 
Dompere, Kofi Kissi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88083-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes
Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes
Author 
Dompere, Kofi Kissi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88085-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior
Author 
Dompere, Kofi Kissi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88087-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Institution-independent Model Theory
Institution-independent Model Theory
Author 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Author 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Ernst Zermelo An Approach to His Life and Work
Ernst Zermelo An Approach to His Life and Work
Author 
Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-49553-6
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Mathematical Thought and Its Objects
Mathematical Thought and Its Objects
Author 
Parsons, Charles.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Signs of logic Peircean themes on the philosophy of language, games, and communication
Signs of logic Peircean themes on the philosophy of language, games, and communication
Author 
Pietarinen, Ahti-Veikko. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3729-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
Author 
Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Availability 
Online Library~1
Available:
Copies: