Original language | English |
---|---|
Pages (from-to) | 411-432 |
Journal | Studia Logica |
Volume | 72 |
Issue number | 3 |
DOIs | |
Publication status | Published - 2002 |
Interpreting first-order theories into a logic of records
M.L.J. van de Vel
Research output: Contribution to Journal › Article › Academic › peer-review