information about Computability logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Predicate logic 1,772 papers | |||
| Current | |||
Computability logic papers | |||
| Child | |||
Many-one reduction 0 papers |
Trends
Notes
History
| Parent | |||
|---|---|---|---|
Predicate logic 1,772 papers | |||
| Current | |||
Computability logic papers | |||
| Child | |||
Many-one reduction 0 papers |