Laws of Form
Laws of Form is a book by George Spencer-Brown published in 1969.  It is about logic, mathematics, and philosophy.  The mathematical systems that Spencer-Brown presented in the book are known by the names "calculus of indications", "distinction calculus", and often just "LOF".