Author:
Omodeo Eugenio G.,Policriti Alberto
Subject
Applied Mathematics,General Mathematics
Reference42 articles.
1. Non-Well-Founded Sets, CSLI Lecture Notes, Vol. 14, Stanford, 1988.
2. and , The Liar: An Essay on Truth and Circular Propositions, Oxford University Press, 1987.
3. Towards a computation system based on set theory
4. Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
5. Set constructors in a logic database language
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Onset and Today’s Perspectives of Multilevel Syllogistic;Lecture Notes in Computer Science;2024
2. Mapping Sets and Hypersets into Numbers;Fundamenta Informaticae;2015-09-14
3. Set-syllogistics meet combinatorics;Mathematical Structures in Computer Science;2015-05-11
4. Infinity, in short;Journal of Logic and Computation;2011-08-12
5. The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability;The Journal of Symbolic Logic;2010-06