Logika a logiky: Systém klasické výrokové logiky, jeho rozšíření a alternativyJaroslav PeregrinVyprodáno4,4Pohlídat
Graduate Texts in Mathematics - 291: Mathematical Logic - Third EditionHeinz-Dieter EbbinghausVyprodánoPohlídat
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
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised EditionHendrik Pieter BarendregtVyprodáno4,3Pohlídat
