Imagen de Amazon.com
A first course in logic [recurso electrónico] : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
Tipo de material:
TextoSeries Oxford texts in logic ; 1Detalles de publicación: Oxford : Oxford University, 2004 Descripción: xx, 431 p. : ilISBN: 142377079X (libro electrónico); 9781423770794 (libro electrónico)Tema(s): Lógica | Lógica simbólica y matemáticaGénero/Forma: Libros electrónicos.Formatos físicos adicionales: Sin títuloClasificación CDD: 160 Clasificación LoC:QA9 | H36 2004leRecursos en línea: Texto completo Disponible también en formato impreso
No hay ítems correspondientes a este registro
Acceso sólo para usuarios de REDUNAM
Disponible también en formato impreso
Reproducción electrónica. Boulder, Colorado : NetLibrary, 2006
NetLibrary ; MX 991444 ; FC ; Permanente ; 2008/07/11
No hay comentarios en este titulo.