Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics - Tourlakis, George (York University, Toronto) - Libros - Cambridge University Press - 9780521168465 - 9 de septiembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

Tourlakis, George (York University, Toronto)
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic - Cambridge Studies in Advanced Mathematics

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Tourlakis, George (York University, Toronto)

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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  

Más del mismo editor

Ver todo de Tourlakis, George (York University, Toronto) ( Ej. Hardcover Book y Paperback Book )