Limit Search Results
Author
Mendelson, Elliott
(5)
Copi, Irving M.
(4)
Keisler, H. Jerome
(3)
Rood, Harold J.
(3)
Sim, Alex Tze Hiang
(3)
Language
Format
Material Type
Subject
Set theory
(19)
Mathematics -- Philosophy
(12)
Computer science -- Mathematics
(9)
Mathematics -- 1961-
(9)
Proof theory
(8)
Switch to list view
Switch to thumbnail view
Select an Action
228 Results Found Subscribe to search results
000000000000MAIN
Print
25. 
Cover image for Logica universalis : towards a general theory of logic
26. 
Cover image for The mathematics of logic : a guide to completeness theorems and their applications
27. 
Cover image for Discrete mathematics and its applications
28. 
Cover image for Handbook of Spatial Logics
29. 
Cover image for Logic, sets, and recursion
30. 
Cover image for Classical mathematical logic : the semantic foundations of logic
31. 
Cover image for A concise introduction to pure mathematics
32. 
Cover image for Techniques of constructive analysis
33. 
Cover image for Visualization, explanation and reasoning styles in mathematics
34. 
Cover image for Adapting proofs-as-programs : the curry - howard protocol
35. 
Cover image for A tour through mathematical logic
36. 
Cover image for A tour through mathematical logic
Select an Action