Recherche
12 résultat(s) · 54 ms
Recherche en cours…
Mediações
Mediações
Fernando Gil
2001
Handbook of logic and proof techniques for computer science
Steven George Krantz
2002
Normalization, cut-elimination, and the theory of proofs
Anthony M. Ungar
1992
Selected papers in proof theory
Grigorij E. Minc
1992
The logic of provability
George Boolos
1993
An accompaniment to higher mathematics
George R. Exner
1997
Proof theory and automated deduction
Jean Goubault-Larrecq, Ian Mackie
1997
Handbook of proof theory
1998
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Dov M. Gabbay, Nicola Olivetti
2000
Derivation and computation
Harold Simmons
2000
The blind spot
Jean-Yves Girard
2011
Proof methods for modal and intuitionistic logics
Melvin Chris Fitting
1983