E. G. Omodeo

Continued Hereditarily Finite Set-Approximations
Reasoning on Relations, Modalities, and Sets
Banishing Ultrafilters from Our Consciousness
Preface
Hyper-Extensionality and One-Node Elimination on Membership Graphs
Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets
log: A Language for Programming in Logic with Finite Sets
Embedding Finite Sets in a Logic Programming Language
log: A Logic Programming Language with Finite Sets

Published with Wowchemy — the free, open source website builder that empowers creators.