Gaya APA

Theorem Proving in Higher Order Logics. (). : .

Gaya MLA

Theorem Proving in Higher Order Logics. 1st ed. 2005.. : , . E Book.