Books by E. Thomas Schubert

Higher Order Logic Theorem Proving and Its Applications

E. Thomas Schubert, Phillip J. Windley, James Alves-Foss

₹5,581