Caricamento...
Proof theory
| Autore principale: | Takeuti, Gaisi |
|---|---|
| Natura: | Printed Book |
| Lingua: | English |
| Pubblicazione: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
| Soggetti: |
Documenti analoghi
-
Mathematical analysis and proof /
di: Stirling, David S. G.
Pubblicazione: (1997) -
Proof theory: First step into impradictivity.
di: Pohlers, Wolfram
Pubblicazione: (2009) -
Proof analysis : a contribution to Hilbert's last problem /
di: Negri, Sara, et al.
Pubblicazione: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
di: Kohlenbach,Ulrich
Pubblicazione: (2008) -
Proof theory: sequent calculi and related formalisms
di: Bimbo, Katalin
Pubblicazione: (2015)