邏輯 Luójí - 斯特罗果维契 Siteluoguoweiqi (М. С. Строгович) (人民出版社, 1953)