Arithmetics, Proof Theory, and Computational Complexity /

Vydáno 1993

Handbook of proof theory /

Vydáno 1998

The seventeenth provers of the world /

Vydáno 2006

Lectures on the Curry-Howard isomorphism /

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

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

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

Proof theory and algebra in logic /

Autor Ono, Hiroakira, 1942-
Vydáno 2019

Dag Prawitz on proofs and meaning /

Vydáno 2015

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

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 structure of proof : with logic and set theory /

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

Proof-theoretic semantics /

Autor Francez, Nissim, 1944-
Vydáno 2015

Burden of proof, presumption and argumentation /

Autor Walton, Douglas N., 1942-
Vydáno 2014

Proof theory /

Autor Takeuti, Gaisi, 1926-2017
Vydáno 2013

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

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

Applied proof theory : proof interpretations and their use in mathematics /

Autor Kohlenbach, Ulrich
Vydáno 2008

The blind spot : lectures on logic /

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

Logical reasoning : a first course /

Autor Nederpelt, Rob, Kamareddine, Fairouz D.
Vydáno 2011

Nová teorie důkazu : a komentovaný český překlad směrnice ENFSI pro znalecké hodnocení ve forenzních vědách /

Autor Fürst, Tomáš, 1978-, Šimková, Halina, Zimmer, Jan, 1981-, Fürstová, Jana
Vydáno 2022