The HOL logic extended with quantificati
β
Thomas F. Melham
π
Article
π
1993
π
Springer
π
English
β 946 KB