Stephen Wolfram's: A New Kind of Science | Online
Jump to Page
Look Up in Index
Search

Chapter 12 > Section 9 > Page 811 Previous page-----Next page



TEXT FROM PAGE

Page image

RELATED LINKS

Notes related to this page:

* Basic logic [and axioms]
* Proof structures
* Substitution strategies [in proofs]
* [Mathematical] proofs in practice
* [Methods for] proof searching
* Automated theorem proving
* Proofs of axiom systems
* Searching for logic [axioms]
* History [of logic axioms]
* All notes for this section
* Downloadable programs for this page
* Downloadable images
* Search Forum for this page
* Post a comment
* NKS | Online FAQs
From Stephen Wolfram: A New Kind of Science [citation] Previous page-----Next page