Zahn, Peter A meaningful mathematical first order language- partial peano algebras and rule systems Peter Zahn - Darmstadt Technische Hocschule Darmstadt 1988 - 22 p 29 cm - Preprint 1111 .