Vyhledávání v bazaru

S názvem Matematická teorie programů jsme bohužel nenašli žádnou knihu v bazaru.