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

by Lawrence C. Paulson
Venue:J. Auto. Reas
Citations:50 - 20 self