principa mathmatica [816f355c]
Tags: books
Book in 1913 describing how to construct axioms for a mathmatical symbol without being self-referential
Search titles and text
Search: ↑/↓ or Ctrl N/P, Enter to open. Shortcuts pause while typing.
Tags: books
Book in 1913 describing how to construct axioms for a mathmatical symbol without being self-referential