This volume explores A.P. Morse’s (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, …