Hend Dawood
Senior Assistant Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza, PO Box: 12613, Egypt. (email)
Department of Mathematics, Faculty of Science, Cairo University, Giza, PO Box: 12613, Egypt. (email)
The aim of this paper is to provide a metamathematical investigation of the theory of intervals with the requisite predicate calculi and axiomatic set theory.