If you mean something that's influenced my way of thinking: not a book, but some transcribed lectures: On the meanings of the logical constants and the justific

If you mean something that's influenced my way of thinking: not a book, but some transcribed lectures: On the meanings of the logical constants and the justifications of the logical laws by Martin-Lof [0] If you mean something that takes a very mathematical approach to deriving programs: Algebra of Programming by Bird and de Moor [1] [0] (pdf) https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf [1] (pdf) https://themattchan.com/docs/algprog.pdf https://themattchan.com/docs/algprog.pdf