Семантика для исчисления высказываний со связкой тождества

• 期刊名称Studia Logica
• 作者С. Л. Блюм; Р. Сушко
• 卷第28卷
• 期第1期
• 印刷ISSN0039-3215
• 电子ISSN1572-8730
• 文件大小29.09KB
• 发表时间1971
• DOI10.1007/bf02124267
• 页码82-82