Wordt geladen...
Proof theory
| Hoofdauteur: | Takeuti, Gaisi |
|---|---|
| Formaat: | Printed Book |
| Taal: | English |
| Gepubliceerd in: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
| Onderwerpen: |
Gelijkaardige items
-
Mathematical analysis and proof /
door: Stirling, David S. G.
Gepubliceerd in: (1997) -
Proof theory: First step into impradictivity.
door: Pohlers, Wolfram
Gepubliceerd in: (2009) -
Proof analysis : a contribution to Hilbert's last problem /
door: Negri, Sara, et al.
Gepubliceerd in: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
door: Kohlenbach,Ulrich
Gepubliceerd in: (2008) -
Proof theory: sequent calculi and related formalisms
door: Bimbo, Katalin
Gepubliceerd in: (2015)