Search subject headings
...
Stats
Colophon
Science
›
Mathematics
›
Logic, Symbolic and mathematical
›
Proof theory
Proof theory
Topic
sh85107437
·
id.loc.gov
Broader Terms (1)
Logic, Symbolic and mathematical
Hierarchy
Hide
Broader groupings:
show peers
|
show narrower
Narrower Terms (3)
▶
Automatic theorem proving
▶
Incompleteness theorems
Numbers, Ordinal