Joshi, Mark
Proof Patterns
Springer International Publishing, 2015
 eBooks
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