Graduate Texts in Mathematics - 291: Mathematical Logic - Third EditionHeinz-Dieter EbbinghausVyprodánoPohlídat
Šachové záhady arabských jezdců : Padesát úloh šachové dedukce, které vás uchvátíRaymond SmullyanVyprodáno4,0Pohlídat
Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiVyprodáno4,4Pohlídat
