information about First-order logic field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 56.2M papers | Mathematics 21.6M papers | Philosophy 20.8M papers | Programming language 7.4M papers |
Linguistics 7M papers | Discrete mathematics 711k papers | ||
| Current | |||
First-order logic 1,872 papers | |||
| Child | |||
Trends