On Natural Deduction in Dependence Logic

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationLogic Without Borders : Essays on set theory, model theory, philosophical logic and philosophy of mathematics
Publisherde Gruyter
Publication date2015
ISBN (Print)978-1-61451-772-6
ISBN (Electronic)978-1-61451-687-3
Publication statusPublished - 2015
MoE publication typeA3 Book chapter

Publication series

NameOntos Mathematical Logic
Number5

Fields of Science

  • 611 Philosophy

Cite this