Lectures on the Curry-Howard isomorphism /

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

Handbook of proof theory /

Vydáno 1998

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Proof analysis : a contribution to Hilbert's last problem /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2011

Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory /

Autor Brown, Chad E.
Vydáno 2007

Thirty five years of automating mathematics /

Vydáno 2003

The structure of proof : with logic and set theory /

Autor O'Leary, Michael L.
Vydáno 2002

Three views of logic : mathematics, philosophy, and computer science /

Autor Loveland, Donald W., Hodel, Richard E., Sterrett, S. G.
Vydáno 2014

Úplnost a neúplnost /

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

Structural proof theory /

Autor Negri, Sara, 1967-, Von Plato, Jan, 1951-
Vydáno 2001

Type theory and formal proof : an introduction /

Autor Nederpelt, Rob, Geuvers, Herman, 1964-
Vydáno 2014