中國(guó)圖書(shū)館分類法
中圖分類號(hào)查詢
>
數(shù)理科學(xué)和化學(xué)
>
數(shù)學(xué)
>
數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)
>
數(shù)理邏輯(符號(hào)邏輯)
>
命題演算、謂詞演算、類演算
O141.12
謂詞演算(命題函項(xiàng)演算)
O141.13
類演算
友情連接:
中國(guó)國(guó)家圖書(shū)館
首都圖書(shū)館
上海圖書(shū)館
天津圖書(shū)館
南京圖書(shū)館
浙江圖書(shū)館