This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundament

This work grew out of Errett Bishop's fundamental treatise 'Founda tions of Constructive Analysis' (FCA), which appeared in 1967 and which contained the bountif

PLEASE UPDATE SAGE INDIA AND SAGE UK ADDRESSES ON IMPRINT PAGE.

Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software

This book revisits the arguments by which Harvey Sacks and Harold Garfinkel opposed the widespread attempt in the social sciences to construct disciplinary theo