A meaningful mathematical first order language- partial peano algebras and rule systems
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 .
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 .