Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleHurd, Joe, και Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Παραπομπή MLAHurd, Joe, και Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.