Tocología. Second order intuitionistic propositional logic.

Mainzer Rheinfrühling 2026 Programm. Thinkpad l450 weight 2021.