Hutchison, D. (2017). Theorem Proving in Higher Order Logics. Springer.
استشهاد بنمط شيكاغوHutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.
MLA استشهادHutchison, David. Theorem Proving in Higher Order Logics. Springer, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.