Search Results facets
More
Personal Author
(5)
(3)
(3)
Fewer
Topic Subject
(175)
(140)
(128)
(116)
(98)
(81)
(49)
(42)
(37)
(36)
(35)
(33)
(30)
(23)
(20)
(19)
(19)
(17)
(12)
(9)
(9)
(8)
(7)
(7)
(5)
(4)
(4)
(4)
(4)
(3)
(3)
(3)
(3)
(3)
(3)
(3)
(3)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
Fewer
Series Title
(7)
(2)
(1)
(1)
(1)
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
31. |
|
Methods of Cut-Elimination
E-book
|
||||||||||
32. |
|
Notes on Set Theory
E-book
|
||||||||||
33. |
|
Mathematical Logic for Computer Science
E-book
|
||||||||||
34. |
|
Mathematical Logic Foundations for Information Science
E-book
|
||||||||||
35. |
|
Logic for Computer Scientists
E-book
|
||||||||||
36. |
|
Foundational Theories of Classical and Constructive Mathematics
E-book
|
||||||||||
37. |
|
Handbook of Set Theory
E-book
|
||||||||||
38. |
|
Guida alla teoria degli insiemi
E-book
|
||||||||||
39. |
|
A Modern Perspective on Type Theory From its Origins until Today
E-book
|
||||||||||
40. |
|
An Invitation to Abstract Mathematics
E-book
|