形式科學

出自維基百科,自由嘅百科全書
Jump to navigation Jump to search

形式科學formal science)係指研究形式語言科學領域,例子有數學邏輯學