Calculus of quantifiers. Deduction theorem (1991)

by Agata Darmochwal
Venue:Formalized Mathematics