中國圖書館分類法
中圖分類號查詢
>
數(shù)理科學(xué)和化學(xué)
>
數(shù)學(xué)
>
數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)
>
數(shù)理邏輯(符號邏輯)
O141.1
命題演算、謂詞演算、類演算
O141.2
證明論
O141.3
遞歸論(遞歸函數(shù)、能行性理論)
O141.4
模型理論
友情連接:
中國國家圖書館
首都圖書館
上海圖書館
天津圖書館
南京圖書館
浙江圖書館