Interpreting first-order theories into a logic of records

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