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

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

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

加入书架

评价这本书

导出书籍日志