| Original language | Undefined/Unknown |
|---|---|
| Journal | Archive for Mathematical Logic |
| Volume | doi: 10.10 |
| Publication status | Published - 2009 |
Kripke models for subtheories of CZF
Research output: Contribution to journal › Article › Academic › peer-review
Research output: Contribution to journal › Article › Academic › peer-review
| Original language | Undefined/Unknown |
|---|---|
| Journal | Archive for Mathematical Logic |
| Volume | doi: 10.10 |
| Publication status | Published - 2009 |