Intensional mathematics (North-Holland, 1985)
Cataloging based on CIP information. - Includes bibliographical references (p)