Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
| Date first appeared online | 31/12/2014 |
| DOI | 10.1093/logcom/exu016 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume |
| Date first appeared online | 31/12/2014 |
| DOI | 10.1093/logcom/exu016 |
| Authors | Beckmann A. |
| Journal Name | Journal of Logic and Computation |
| Volume |