Metin Ersin Arıcan

Mathematics graduate student working in logic, model theory, and formalization.

No publications are listed here yet.

This page will collect papers, preprints, and related material as they become available.