Loading...
Proof theory
| Main Author: | Takeuti, Gaisi |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
| Subjects: |
Similar Items
-
Mathematical analysis and proof /
by: Stirling, David S. G.
Published: (1997) -
Proof theory: First step into impradictivity.
by: Pohlers, Wolfram
Published: (2009) -
Proof analysis : a contribution to Hilbert's last problem /
by: Negri, Sara, et al.
Published: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
by: Kohlenbach,Ulrich
Published: (2008) -
Proof theory: sequent calculi and related formalisms
by: Bimbo, Katalin
Published: (2015)