Issues of decidability and tractability - Marciszewski, Witold. Red. (Uniwersytet w Białymstoku)
Keywords: Logika symboliczna i matematyczna