Eliminacja kwantyfikatorów w różnych strukturach matematycznych. Typ: magisterski Data: wtorek, 14. Luty 2017 Aktualność: Aktywny Imię i nazwisko: Jakub Gismatullin