The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised EditionHendrik Pieter BarendregtVyprodáno4,3Pohlídat
Logika a logiky: Systém klasické výrokové logiky, jeho rozšíření a alternativyJaroslav PeregrinVyprodáno4,4Pohlídat
Remarks on the Foundations of Mathematics / Bemerkungen über die Grundlagen der MathematikLudwig WittgensteinVyprodánoPohlídat
