ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Volume 3, Number 2, 2000, 157 - 172

Chartering Second Order Logic

Petros S. STEFANEAS
Department of Mathematics
National Technical University of Athens, Greece
E-mail: petros@noc.ntua.gr

Abstract.
We construct the many sorted second order charter and we prove that this construction is correct.