DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
|
Título: Lectures In Logic And Set Theory. Volume 1, Mathematical Logic | |
| Autor: Tourlakis, George | Precio: $910.00 | |
| Editorial: Cambridge University Press | Año: 2003 | |
| Tema: Matematicas, Teorias, Algebra | Edición: 1ª | |
| Sinopsis | ISBN: 9780521753739 | |
| This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
¦ User-friendly extensive discussion of issues that arise at the interface of axiomatics and mathematical `reality' ¦ A complete proof of Godel's 2nd incompleteness theorem ¦ A thorough foundation of Nonstandard Analysis |
||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019