Lectures on the Curry-Howard isomorphism /

Autor Sørensen, Morten Heine B. 1968-, Urzyczyn, Pawel
Vydáno 2006

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Úplnost a neúplnost /

Autor Gödel, Kurt, 1906-1978
Vydáno 2015