Penggayaan APA
Hurd, Joe., Melham, Tom., SpringerLink (Online service). ().
Theorem Proving in Higher Order Logics (1st ed. 2005.).
:
.
Chicago Style
Hurd, Joe., Melham, Tom., SpringerLink (Online service).
Theorem Proving in Higher Order Logics.
1st ed. 2005.
:
,
.
E Book.
MLA Style
Hurd, Joe., Melham, Tom., SpringerLink (Online service).
Theorem Proving in Higher Order Logics.
1st ed. 2005.
:
,
.
E Book.
Turabian Style
Hurd, Joe., Melham, Tom., SpringerLink (Online service).
Theorem Proving in Higher Order Logics.
1st ed. 2005.
:
,
.
E Book.