information about Heyting arithmetic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Intuitionistic logic 2,384 papers | Heyting algebra 456 papers | ||
| Current | |||
Heyting arithmetic papers | |||
| Child | |||
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Intuitionistic logic 2,384 papers | Heyting algebra 456 papers | ||
| Current | |||
Heyting arithmetic papers | |||
| Child | |||