Referensi
Budhi, W. S. (2003). Langkah Awal Menuju ke Olimpiade Matematika. Jakarta, Indonesia: Ricardo.
Devlin, K. (2012). Introduction to Mathematical Thinking. Palo Alto, CA, USA: Keith Devlin.
Hofstadter, D. R. (1999). Gòˆdel, Escher, Bach : An Eternal Golden Braid. New York: Basic Books.
Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to Automata Theory, Languages and Computation. Addison-Wesley.
Levitin, A. (2003). Introduction to The Design & Analysis of Algorithms. Boston: Addison Wesley/Pearson Education.
Lipschutz, S. (1989). Seri Buku schaum Teori Dan Soal-soal Teori Himpunan (Set Theory). (P. Silaban, Trans.) Jakarta: Erlangga.
Liu, C. L. (1985). Element of Discrete Mathematics.
Oliver, D. (1997). Memandang Realita dengan FractalVision. (I. Santosa, Trans.) Yogyakarta: Penerbit Andi.
Rosen, K. H., & Krithivasan, K. (2013). Discrete Mathematics and Its Applications (Global ed.). New York: McGraw-Hill.
Soekadijo, R. G. (1993). Logika Dasar Tradisional, Simbolik, dan Induktif. Jakarta, Indonesia: Gramedia Pustaka Utama.
Timothy Peil, P. (2006). Examples of Axiomatic Systems. Retrieved 2015, from Survey of Geometry: http://web.mnstate.edu/peil/geometry/C1AxiomSystem/AxSysWorksheet.htm