Á lódáil...
Proof theory: sequent calculi and related formalisms
| Príomhúdar: | Bimbo, Katalin |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
Boca Raton
CRC Press
2015
|
| Ábhair: |
Míreanna Comhchosúla
-
Proof theory sequent calculi and related formalisms
le: Bimbo, Katalin
Foilsithe: (2015) -
Proof theory: First step into impradictivity.
le: Pohlers, Wolfram
Foilsithe: (2009) -
Proof theory
le: Takeuti, Gaisi
Foilsithe: (1975) -
Proof analysis : a contribution to Hilbert's last problem /
le: Negri, Sara, et al.
Foilsithe: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
le: Kohlenbach,Ulrich
Foilsithe: (2008)