Premium
Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
Author(s) -
Ferro Alfredo,
Omodeo Eugenio G.,
Schwartz Jacob T.
Publication year - 1980
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160330503
Subject(s) - syllogism , citation , set (abstract data type) , mathematics , computer science , mathematical economics , artificial intelligence , linguistics , philosophy , library science , programming language