A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity: 1 (Oxford Texts in Logic) - Tapa dura

Hedman, Shawn

 
9780198529804: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity: 1 (Oxford Texts in Logic)
Tapa dura
ISBN 10: 0198529805 ISBN 13: 9780198529804
Editorial: OUP Oxford, 2004

Sinopsis

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
OUP Oxford
Año de publicación
2004
Idioma
Inglés
ISBN 10 
0198529805
ISBN 13 
9780198529804
Encuadernación
Tapa dura
Número de páginas
452
Contacto del fabricante
no disponible
Persona responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italia

Otras ediciones populares con el mismo título

9780198529811: A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Edición Destacada

ISBN 10:  0198529813 ISBN 13:  9780198529811
Editorial: OUP Oxford, 2004
Tapa blanda