Handbook of proof theory /
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scient...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Buss, Samuel R. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York :
Elsevier,
1998.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 137. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo Texto completo |
Ejemplares similares
-
The nuts and bolts of proofs /
por: Cupillari, Antonella
Publicado: (2005) -
Proof theory /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1975) -
The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs /
por: Cupillari, Antonella
Publicado: (2023) -
The nuts and bolts of proofs : an introduction to mathematical proofs /
por: Cupillari, Antonella
Publicado: (2013) -
Mathematical analysis and proof /
por: Stirling, David S. G., 1947-
Publicado: (2009)