Limit Search Results
Author
SpringerLink (Online service)
(125)
Andreescu, Titu. author.
(3)
Dalen, Dirk. author.
(3)
Deiser, Oliver. author.
(3)
Hoffmann, Dirk W. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(129)
Algebra.
(27)
Computer science.
(26)
Number theory.
(20)
Logic.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
129 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
Cover image for Proofs and Fundamentals A First Course in Abstract Mathematics
Proofs and Fundamentals A First Course in Abstract Mathematics
Author 
Bloch, Ethan D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7127-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
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:
56. 
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:
57. 
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:
58. 
Cover image for The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
The Colorado Mathematical Olympiad and Further Explorations From the Mountains of Colorado to the Peaks of Mathematics
Author 
Soifer, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75472-7
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for The Proof is in the Pudding The Changing Nature of Mathematical Proof
The Proof is in the Pudding The Changing Nature of Mathematical Proof
Author 
Krantz, Steven G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-48744-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
Select an Action