名古屋大学附属図書館




1

記号論理学 : 命題論理

井関清志著. -- 槙書店, 1968. -- (数学選書).