http://episte.math.ntu.edu.tw/articles/mm/mm_10_4_06/
介紹：邏輯之中的數學歸納法。
評估：提出數學傳播期刊裡面的內容，加以敘述說明，舉例說明不會很難，解題的很清楚，非常適合自行閱讀。
http://web.ntpu.edu.tw/~jyhuang/Course/DigitalDesign/Chapter02.pdf
介紹：台北大學黃俊堯老師所寫，介紹布林代數等邏輯題目。
評估：用於上課用的PDF檔，對布林邏輯等邏輯範圍有很深入探討，適合想要深入瞭解羅及內容的學生或民眾閱讀。
http://plato.stanford.edu/entries/logic-classical/
介紹：史丹佛大學邏輯的教學網站，雖然偏向哲學邏輯，但涵蓋的內容跟正規的數學邏輯大同小異，主題包括語言，歸納，語意分析
評估：網頁的教學有許多數學符號跟定義，延伸的定理跟其證明過程，每一步推論的步驟都寫的很詳細，有一點數學基礎的人可以快速的入門
http://webster.cs.ucr.edu/AoA/DOS/pdf/ch02.pdf
介紹：一章專門討論布林邏輯的電子檔，基本的定理跟常用的公式都有列出來，其他主題包括了真值表，邏輯化簡，布林運算等
評估：網站的作者是Computer Science 的教授，研究領域相當多元，教學的內容由簡入深，對於定義或定理會以條列跟表格列出，整理的蠻有系統的
相關連結：http://webster.cs.ucr.edu/AoA/DOS/pdf/，有其他各章節的投影片
