Recomienda este artículo a tus amigos:
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics Tourlakis, George (York University, Toronto)
Precio
$ 86,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 22 de sep. - 5 de oct.
Recibe notificaciones sobre nuevos lanzamientos de Tourlakis, George (York University, Toronto)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics
Tourlakis, George (York University, Toronto)
This work includes formal proof techniques, a section on applications of compactness, 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.
342 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 9 de septiembre de 2010 |
| ISBN13 | 9780521168465 |
| Editores | Cambridge University Press |
| Páginas | 342 |
| Dimensiones | 229 × 154 × 28 mm · 516 g |
| Lengua | Inglés |
