The Book
Store
Downloads
Education
Archives
Forum
Jump to Page
Look Up in Index
Search
RELATED LINKS
[close]
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
Chapter 12
>
Section 9
> Page 811
TEXT FROM PAGE
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
]