精品无码久久久久久国产_成人午夜在线视频一区_亚洲最大的av网站_亚洲欧美综合区自拍另类_91精品国产一区_日韩精品中文在线观看_一道本无吗dⅴd在线播放一区_国产精品旅馆在线_欧美午夜久久久_亚洲自拍在线观看_黑人精品xxx一区一二区_亚洲精品日韩久久久_在线视频一区二区_国产欧美久久一区二区_中文字幕精品在线视频_成人欧美在线观看

揚·武卡謝維奇 創(chuàng)立波蘭邏輯學(xué)派，貢獻命題邏輯與模態(tài)邏輯

揚·武卡謝維奇是波蘭著名數(shù)學(xué)家和邏輯學(xué)家，創(chuàng)立了波蘭邏輯學(xué)派，對命題邏輯和模態(tài)邏輯有重要貢獻。他提出了三值邏輯系統(tǒng)，影響了現(xiàn)代邏輯學(xué)發(fā)展。