Premium
Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
Author(s) -
Ferro A.,
Omodeo E. G.
Publication year - 1987
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.3160400302
Subject(s) - operator (biology) , set (abstract data type) , citation , set theory , computer science , information retrieval , mathematics , mathematical economics , calculus (dental) , algebra over a field , natural language processing , operations research , library science , pure mathematics , programming language , medicine , biochemistry , chemistry , dentistry , repressor , transcription factor , gene