Delta 9/1974

Rozstrzygalność teorii nierówności liniowych