Publikacje

Czasopismo: Logica Universalis

2014

• Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki , The Institution-Theoretic Scope of Logic Theorems, Logica Universalis, 2014. Zobacz w PBN

2009

• R. Diaconescu, T. Mossakowski, Andrzej Tarlecki , What is a Logic Translation?, Logica Universalis, 2009. Zobacz w PBN