Logic and Games on Automatic Structures

Logic and Games on Automatic Structures

Playing with Quantifiers and Decompositions

poolt Lukasz Kaiser
2/5
Esmakordselt avaldatud
Aug 05, 2011
Kirjastajad
Springer

Raamatud

Sarnased raamatud