Skip to main navigation Skip to search Skip to main content

Universal Proof Theory: Topology, Algebra and Categories in Logic Lecture Notes of the Coimbra TACL Summer School

  • Universiteit Utrecht

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

Fingerprint

Dive into the research topics of 'Universal Proof Theory: Topology, Algebra and Categories in Logic Lecture Notes of the Coimbra TACL Summer School'. Together they form a unique fingerprint.
Sort by

Mathematics

Computer Science