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