Two Applications of Logic to Mathematics /
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott-...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Princeton, NJ :
Princeton University Press,
[2015]
|
Colección: | Publications of the Mathematical Society of Japan ;
1576 |
Temas: | |
Acceso en línea: | Texto completo Texto completo |