Lectures on the Curry-Howard isomorphism /

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

The blind spot : lectures on logic /

Autor Girard, Jean-Yves, 1947-
Vydáno 2011

Úplnost a neúplnost /

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

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More /

Autor Gusfield, Dan, 1951-
Vydáno 2024