8 books • 7 series
Book #146: Computability
Book #174: Foundations of Real and Abstract Analysis
Book #279: Constructive Analysis
Book #422: Representations of Preferences Orderings