information about Frege system field
Field Hierarchy
Parent | |||
---|---|---|---|
Bounded arithmetic 0 papers | Proof complexity 1,446 papers | ||
Current | |||
Frege system papers | |||
Child |
Trends
Notes
History
Parent | |||
---|---|---|---|
Bounded arithmetic 0 papers | Proof complexity 1,446 papers | ||
Current | |||
Frege system papers | |||
Child |