New Age Publications (Academic), 2007. — 576 p. — ISBN 978-81-224-2890-2.
All definitions and theorems in this text are stated extremely carefully so that students will appreciate the precision of language and rigor needed in mathematical sciences. Proofs are motivated and developed slowly, their steps are all carefully justified. Recursive definitions are explained and used extensively.