Limit Search Results
Author
SpringerLink (Online service)
(35)
Curvebreakers.
(2)
Ditmarsch, Hans. editor.
(2)
Gupta, Amitabha. editor.
(2)
Lucchetti, Roberto. editor.
(2)
Language
Subject
Logic, Symbolic and mathematical.
(51)
Mathematics.
(21)
Computer science.
(16)
Logic.
(11)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
55 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
Cover image for Methods of Cut-Elimination
Methods of Cut-Elimination
Author 
Leitsch, Alexander. author. Baaz, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0320-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
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:
43. 
Cover image for Strict Finitism and the Logic of Mathematical Applications
Strict Finitism and the Logic of Mathematical Applications
Author 
Ye, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1347-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Author 
Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Un mondo di idee La matematica ovunque
Un mondo di idee La matematica ovunque
Author 
Ciliberto, Ciro. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1744-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008
Author 
Skof, Fulvia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1836-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Logica: Metodo Breve
Logica: Metodo Breve
Author 
Mundici, Daniele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1884-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for After Gödel Platonism and rationalism in mathematics and logic
After Gödel Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action