Ontos Mathematical Logicсерия сборников

• Добавил в систему: Беклемишев Лев Дмитриевич

Сборники, входящие в состав серии

---

• • 2010 Ways of proof theory
  • серия Ontos Mathematical Logic, том 2
  • место издания Ontos Verlag Frankfurt