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
서가에 추가

이 책 평가하기

도서 일지 내보내기