Set theory for verification: I. From foundations to functions (1993)

by Lawrence C. Paulson
Venue:J. Auto. Reas
Citations:46 - 18 self