Discrete Mathematics

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Aspects Of Harmonic Analysis On Locally Compact Abelian Groups

A Guide to the Classification Theorem for Compact Surfaces

Homology, Cohomology, And Sheaf Cohomology For Algebraic Topology, Algebraic Geometry, And Differential Geometry