@inproceedings{72307ff930e1404dbfb8de061e5e43a6,

title = "Formalizing set theory as it is actually used",

abstract = "We present a formalization of the axiomatic set theory ZF which reflects real mathematical practice, and is easy for mechanical manipulation and interactive theorem proving. Unlike the standard first-order formalizations, our version provides a rich class of abstraction terms denoting sets on the one hand, and is based on purely syntactical (rather than semantic) considerations on the other hand.",

author = "Arnon Avron",

year = "2004",

doi = "10.1007/978-3-540-27818-4_3",

language = "אנגלית",

isbn = "978-3-540-23029-8",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "32--43",

editor = "Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec",

booktitle = "Mathematical Knowledge Management",

edition = "1",

note = "Third International Conference, MKM 2004 ; Conference date: 19-09-2004 Through 21-09-2004",

}