Spencer-Brown

Laws of Form is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems: The primary arithmetic, whose models include Boolean arithmetic; The primary algebra, whose models include the two-element Boolean algebra, …