Joshi, Mark
Proof Patterns
Springer International Publishing, 2015
eBooks
Barwise, Jon
Language proof and logic
CSLI Publications, 2000
Buku Teks SO
Sundstrom, Ted
Mathematical reasoning: writing and proof
Pearson-Prentice Hall, 2007
Buku Teks SO
Gila Hanna
Proof and proving in mathematics education
Springer, 2012
eBooks
Rademaker, Alexandre, editor
A proof theory for description logics
Springer, 2012
eBooks