PakCat catalogue record

Elementary Induction on Abstract Structures

By Moschovakis, Yiannis N.

Bibliographic details