Metamathematics

Showing results in 'Publications'. Show all posts
Dawood, Hend, and Yasser Dawood. On the Metamathematics of the Theory of Interval Numbers. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2010. Abstract

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.