Rademaker, Alexandre, editor
A proof theory for description logics
Springer, 2012
 eBooks
Gila Hanna
Proof and proving in mathematics education
Springer, 2012
 eBooks
Sulistiandriatmoko
Kekuatan pembuktian alat bukti elektronik sebagai alat bukti yang sah dalam pembuktian tindak pidana narkotika = The Strength of Proof of Electronic Evidence as a Valid Evidence in The Proof of Narcotic Crime
Fakultas Hukum Universitas Indonesia, 2018
 UI - Skripsi (Membership)
Barnett, Stephen
Introduction to mathematical control theory
Clarendon Press, 1990
 Buku Teks
Gordon, Charles K.
Introduction to mathematical structures
Dickenson, 1967
 Buku Teks