@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",
}