On functions and equality
We have to say a word or two about functions because, depending on the ways permitted for their definition, it may be questionable whether they are well-defined at all. Fortunately, our functions will be simple: they will be total functions with values and arguments of well-defined types.
Unable to display preview. Download preview PDF.