ELEMENTARY INDUCTION ON ABSTRACT STRUCTURES - Moschovakis, Yiannis N. (Amsterdam North-Holland Pub., 1974)
Ref. : P. 209-212
Keywords: Logic, Symbolic And Mathematical