Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | Type | |||||||
---|---|---|---|---|---|---|---|---|---|
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|
| ||||||||
1999 | The ground-negative fragment of first-order logics is $\pi^p_2$-complete In: The Journal of Symbolic Logic [64], 984-990 | Journal Article | |||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
|