@book(AHV95,
 author       = "S. Abiteboul and R. Hull and V. Vianu",
 year         = "1995",
 title        = "Foundations of Databases",
 publisher    = "Addison-Wesley",
)
@inbook(Av03,
 author       = "A. Avron",
 year         = "2003",
 title        = "Transitive closure and the mechanization of mathematics",
 pages        = "149--171",
 series       = "Applied Logics",
 volume       = "28",
 publisher    = "Kluwer Academic Publishers",
)
@inproceedings(Av04,
 author       = "A. Avron",
 year         = "2004",
 title        = "Safety signatures for first-order languages and their applications",
 editor       = "Hendricks et al.",
 booktitle    = "In First-Order Logic Revisited",
 publisher    = "Logos Verlag",
 pages        = "37--58",
)
@article(Av08,
 author       = "A. Avron",
 year         = "2008",
 title        = "Constructibility and decidability versus domain independence and absoluteness",
 journal      = "Theoretical Computer Science",
 volume       = "394",
 pages        = "144--158",
 doi          = "10.1016/j.tcs.2007.12.008",
)
@inproceedings(Av07,
 author       = "A. Avron",
 year         = "2008",
 title        = "A Framework for Formalizing Set Theories Based on the Use of Static Set Terms",
 booktitle    = "Pillars of Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "4800",
 publisher    = "Springer",
 pages        = "87--106",
 doi          = "10.1007/978-3-540-78127-1\_6",
)
@article(Av10,
 author       = "A. Avron",
 year         = "2010",
 title        = "A new approach to predicative set theory",
 journal      = "Ways of Proof Theory",
 pages        = "31--63",
)
@book(FBL73,
 author       = "A. Fraenkel Y. Bar-Hillel and A. Levy",
 year         = "1973",
 title        = "Foundations of Set Theory",
 edition      = "second",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "67",
 publisher    = "Elsevier",
 address      = "Amsterdam",
)
@book(COP01,
 author       = "D. Cantone and E. Omodeo and A. Policriti",
 year         = "2001",
 title        = "Set Theory for Computing: From Decisions Procedures to Declarative Programming with Sets",
 series       = "Monographs in Computer Science",
 publisher    = "Springer",
)
@book(De84,
 author       = "K. J. Devlin",
 year         = "1984",
 title        = "Constructibility",
 volume       = "6",
 publisher    = "Springer-Verlag",
)
@inproceedings(Ga74,
 author       = "R. O. Gandy",
 year         = "1974",
 title        = "Set-theoretic functions for elementary syntax: in Proceedings of Symposia in Pure Mathematics",
 booktitle    = "Axiomatic set theory, Part 2",
 publisher    = "AMS",
 address      = "Providence, Rhode Island",
 pages        = "103--126",
)
@book(Go40,
 author       = "K. G{\"o}del",
 year         = "1940",
 title        = "The Consistency of the Axion of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory",
 volume       = "3",
 publisher    = "Princeton University Press",
 address      = "Princeton, N.J.",
)
@article(Je72,
 author       = "R. B. Jensen",
 year         = "1972",
 title        = "The fine structure of the constructible hierarchy",
 journal      = "Annals of Mathematical Logic",
 volume       = "4",
 pages        = "229--308",
)
@book(Ku80,
 author       = "K. Kunen",
 year         = "1980",
 title        = "Set Theory: an Introduction to Independence Proofs",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "102",
 publisher    = "Elsevier",
 address      = "Amsterdam",
)
@article(My52,
 author       = "J. Myhill",
 year         = "1952",
 title        = "A derivation of number theory from ancestral theory",
 journal      = "Journal of Symbolic Logic",
 volume       = "17",
 pages        = "292--297",
)
@inproceedings(Sa97,
 author       = "V. Y. Sazonov",
 year         = "1997",
 title        = "On bounded set theory",
 booktitle    = "Proceedings of the 10th International Congress on Logic, Methodology and Philosophy of Sciences",
 volume       = "I: Logic and Scientific Method",
 publisher    = "Kluwer Academic Publishers",
 address      = "Florence",
 pages        = "85--103",
)
@book(Sh67,
 author       = "J. R. Shoenfield",
 year         = "1967",
 title        = "Mathematical Logic",
 publisher    = "Addison-Wesley",
)
@book(Sm92,
 author       = "R. M. Smullyan",
 year         = "1992",
 title        = "The Incompleteness Theorems",
 publisher    = "Oxford University Press",
)
@book(Ul88,
 author       = "J. D. Ullman",
 year         = "1998",
 title        = "Principles of database and knowledge-base systems",
 publisher    = "Computer Science Press",
)