Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection

Decision Procedures for Elementary Sublanguages of Set Theory: XVI. Multilevel Syllogistic Extended by Singleton, Rank Comparison and Unary Intersection

D. Cantone
尚無評分
2018 · 英語 · 平裝書
加入書架

評價這本書

出口書籍日誌

描述

Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory

Remark Throughout this paper we will freely identify variables y, and places 1r, with their indices 8 and i, respectively.

書籍詳情

格式 平裝書
頁數 17 頁
語言 英語
已出版 Aug 24, 2018
出版商 Forgotten Books
ISBN-10 1334016194
ISBN-13 9781334016196
加入書架

評價這本書

出口書籍日誌