Limit Search Results
Author
SpringerLink (Online service)
(7)
Mendelson, Elliott
(5)
Copi, Irving M.
(4)
Gandy, R. O.
(3)
Keisler, H. Jerome
(3)
Language
Format
Material Type
Subject
Logic, Symbolic and mathematical
(228)
Logic, Symbolic and mathematical -- Congresses
(31)
Set theory
(19)
Mathematics -- Philosophy
(13)
Computer science -- Mathematics
(9)
Switch to list view
Switch to thumbnail view
Select an Action
282 Results Found Subscribe to search results
000000000000MAIN
Print
25. 
Cover image for Introduction to mathematical proofs : a transition
26. 
Cover image for Is God a mathematician?
27. 
Cover image for Logic functions and equations : examples and exercises
28. 
Cover image for Temporal logic and state systems
29. 
Cover image for Logics of specification languages
30. 
Cover image for A course on mathematical logic
31. 
Cover image for Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings
32. 
Cover image for Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings
33. 
Cover image for Logic for computer scientists
34. 
Cover image for Logica universalis : towards a general theory of logic
35. 
Cover image for Transition to higher mathematics : structure and proof
36. 
Cover image for Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings
Select an Action