Making It Explicit. Reasoning, Representing, and Discursive CommitmentRobert BrandomVyprodáno4,5Pohlídat
Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevůmRaymond SmullyanVyprodáno4,5Pohlídat
Graduate Texts in Mathematics - 291: Mathematical Logic - Third EditionHeinz-Dieter EbbinghausVyprodánoPohlídat
Undergraduate Texts in Mathematics: Introduction to Mathematical Structures and ProofsLarry J. GersteinVyprodánoPohlídat
Šachové záhady arabských jezdců : Padesát úloh šachové dedukce, které vás uchvátíRaymond SmullyanVyprodáno4,0Pohlídat
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised EditionHendrik Pieter BarendregtVyprodáno4,3Pohlídat
