1
Vydáno 2008
“...Workshop on Computer Science Logic Bertinoro, Itálie)...”
Kniha