Arithmetics, Proof Theory, and Computational Complexity /

Vydáno 1993

Handbook of proof theory /

Vydáno 1998

Lectures on the Curry-Howard isomorphism /

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

The seventeenth provers of the world /

Vydáno 2006

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

Autor Kohlenbach, Ulrich
Vydáno 2008

An introduction to proof theory : normalization, cult-elimination, and consistency proofs /

Autor Mancosu, Paolo, 1960-, Galvan, Sergio, 1946-, Zach, Richard
Vydáno 2021

Logical reasoning : a first course /

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

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

Proof theory and algebra in logic /

Autor Ono, Hiroakira, 1942-
Vydáno 2019

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

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

Natural deduction, hybrid systems and modal logics /

Autor Indrzejczak, Andrzej
Vydáno 2010

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

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

Dag Prawitz on proofs and meaning /

Vydáno 2015