Interpreting first-order theories into a logic of records

M.L.J. van de Vel

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)411-432
JournalStudia Logica
Volume72
Issue number3
DOIs
Publication statusPublished - 2002

Bibliographical note

MR1953616

Cite this