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

Structural proof theory /

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

Kniha

10

Type theory and formal proof : an introduction /

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

Kniha

11

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

Autor Hedman, Shawn
Vydáno 2004

Kniha

12

Proof-theoretic semantics /

Autor Francez, Nissim, 1944-
Vydáno 2015

Kniha

13

Burden of proof, presumption and argumentation /

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

Kniha

14

Proof theory /

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

Kniha

15

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

Autor Brown, Chad E.
Vydáno 2007

Kniha

16

Thirty five years of automating mathematics /

Vydáno 2003

Kniha

17

Natural deduction, hybrid systems and modal logics /

Autor Indrzejczak, Andrzej
Vydáno 2010

Kniha

18

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Kniha

19

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

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

Kniha

20

Proof theory and algebra in logic /

Autor Ono, Hiroakira, 1942-
Vydáno 2019

Kniha

Upřesnit hledání