On the computational meaning of axioms

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Alberto Naibo
  • Mattia Petrolo
  • Thomas Seiller
Original languageEnglish
Title of host publicationEpistemology, knowledge and the impact of interaction
EditorsJuan Redmond, Olga Pombo Martins, Ángel Nepomuceno Fernández
Number of pages44
PublisherSpringer
Publication date2016
Pages141-184
Chapter5
ISBN (Print)978-3-319-26504-9
ISBN (Electronic)978-3-319-26506-3
DOIs
Publication statusPublished - 2016
SeriesLogic, Epistemology, and the Unity of Science
Volume38
ISSN2214-9775

ID: 165696191