1
Vydáno 1996
“...IEEE Symposium on Logic in Computer Science New Brunswick, New Jersey)...”
Kniha