The Art of Computer Programming. Volume 4. Fascicle 6, SatisfiabilityDonald KnuthWyprzedane4,4Obserwuj
The Logical Basis for Computer Programming. Vol. 2, Deductive SystemsRichard WaldingerWyprzedane4,5Obserwuj
