STMM: A Set Theory for Mechanized Mathematics (2000)

Cached

Download Links

by William M. Farmer
Venue:JOURNAL OF AUTOMATED REASONING
Citations:12 - 6 self