Gaya APA
service), S, (. et al
().
Theorem Proving in Higher Order Logics
(
1st ed. 2005.)
.
:
.
Gaya MLA
service), SpringerLink, (Online. et al.
"Theorem Proving in Higher Order Logics".
1st ed. 2005.
:
,
.
E Book.