Stmm: A set theory for mechanized mathematics (2001)

by William M Farmer
Venue:Journal of Automated Reasoning