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

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

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

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

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

The structure of proof : with logic and set theory /

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

Ú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

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /

Autor Hedman, Shawn
Vydáno 2004

The blind spot : lectures on logic /

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