Carregando...
Proof theory
| Autor principal: | Takeuti, Gaisi |
|---|---|
| Formato: | Printed Book |
| Idioma: | English |
| Publicado em: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
| Assuntos: |
Registros relacionados
-
Mathematical analysis and proof /
por: Stirling, David S. G.
Publicado em: (1997) -
Proof theory: First step into impradictivity.
por: Pohlers, Wolfram
Publicado em: (2009) -
Proof analysis : a contribution to Hilbert's last problem /
por: Negri, Sara, et al.
Publicado em: (2011) -
Applied proof theory: Proof interpretations and their use in mathematics/
por: Kohlenbach,Ulrich
Publicado em: (2008) -
Proof theory: sequent calculi and related formalisms
por: Bimbo, Katalin
Publicado em: (2015)