editors. Higher Order Logic Theorem (0)

by E Thomas Schubert, Phillip J Windley, James Alves-Foss
Venue:Proving and Its Applications: Proceedings of the 8th International Workshop, volume 971 of Lecture Notes in Computer Science