Výsledky vyhledávání

1

Handbook of proof theory /

Vydáno 1998

Kniha

2

Arithmetics, Proof Theory, and Computational Complexity /

Vydáno 1993

Kniha

3

The seventeenth provers of the world /

Vydáno 2006

Kniha

4

Lectures on the Curry-Howard isomorphism /

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

Kniha

5

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

Autor Kohlenbach, Ulrich
Vydáno 2008

Kniha

6

The blind spot : lectures on logic /

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

Kniha

7

The structure of proof : with logic and set theory /

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

Kniha

8

Dag Prawitz on proofs and meaning /

Vydáno 2015

Kniha

9

Úplnost a neúplnost /

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

Kniha

10

Structural proof theory /

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

Kniha

11

Type theory and formal proof : an introduction /

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

Kniha

12

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

Autor Hedman, Shawn
Vydáno 2004

Kniha

13

Proof-theoretic semantics /

Autor Francez, Nissim, 1944-
Vydáno 2015

Kniha

14

Burden of proof, presumption and argumentation /

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

Kniha

15

Proof theory /

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

Kniha

16

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

Autor Brown, Chad E.
Vydáno 2007

Kniha

17

Thirty five years of automating mathematics /

Vydáno 2003

Kniha

18

Natural deduction, hybrid systems and modal logics /

Autor Indrzejczak, Andrzej
Vydáno 2010

Kniha

19

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Kniha

20

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

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

Kniha

Upřesnit hledání