TU Darmstadt - Mathematik

| English

| Fachbereich Mathematik

	Kontakt

	Forschung
	Veröffentlichungen
	Journals
	Domains
	Applied Proof Theory / Proof Mining
	Algorithmic Model Theory

	Mitarbeiter

	Events

	Lehre

Members of the Logic group serve as editors for the following journals

Annals of Pure and Applied Logic

Applied Categorical Structures

Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry

Demonstratio Mathematica

Discrete Mathematics

Mathematical Logic Quarterly

Notre Dame Journal of Formal Logic