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 Handbook of logic and language
Handbook of logic and language
Author 
Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
Cover image for McGraw-Hill's LSAT
McGraw-Hill's LSAT
Author 
Curvebreakers.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Logic demystified
Logic demystified
Author 
Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for An introduction to practical formal methods using temporal logic
An introduction to practical formal methods using temporal logic
Author 
Fisher, Michael, 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
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:
47. 
Cover image for Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Author 
Bartocci, Claudio. editor. Betti, Renato. editor. Guerraggio, Angelo. editor. Lucchetti, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13606-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Hyperfinite Dirichlet Forms and Stochastic Processes
Hyperfinite Dirichlet Forms and Stochastic Processes
Author 
Albeverio, Sergio. author. Fan, Ruzong. author. Herzberg, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19659-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action