Lambda kalkulus. Syntaxe a sémantika - The Lambda Calculus. Its Syntax and Semantics
Lambda kalkul, který je v této knize zpracován především ve...
Finance jako válka - Finance as Warfare
Michael Hudson je jedním z předních světových kritiků současného finančního kapitalismu. Je také jedním z hrstky významných...
Carrollian Notes
Již více než sto let je Lewis Carroll čten a oslavován jako autor knih Alenka v říši divů, Skrz zrcadlo a Lov na Snarka. Mnozí se dozvěděli, že ve skutečnosti...
Axiom volby - The Axiom of Choice
Tato kniha přináší přehled vývoje axiomu volby od jeho zavedení Zermelem na počátku minulého století. Kniha zkoumá axiom volby ze tří...
Zvyšování úrovně. Dobrá správa věcí veřejných a efektivní plánování - Levelling Up. Good Governance...
Je evropská správa věcí veřejných vhodná pro daný...
Vývoj ekonomiky pro svět po krizi - Developing an economics for the post-crisis world
Tato kniha je sbírkou vlivných článků Steva Keena publikovaných...
Satelit Lambda Calculus - A Lambda Calculus Satellite
V roce 1936 byl pojem intuitivní spočitatelnosti operacionalizován dvěma různými způsoby: prostřednictvím...
Satelit Lambda Calculus - A Lambda Calculus Satellite
V roce 1936 byl pojem intuitivní spočitatelnosti operacionalizován dvěma různými způsoby: prostřednictvím...
Intuicionistická teorie množin - Intuitionistic Set Theory
Ačkoli intuicionistické (nebo konstruktivní) teorii množin IST věnují matematičtí logici určitou...
