Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic) - Tapa dura

Bornat, Richard

9780198530268: Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Tapa dura

ISBN 10: 0198530269 ISBN 13: 9780198530268

Editorial: OUP Oxford, 2005

Ver todas las copias de esta edici�n del ISBN

0 Usado

2 Nuevo

De EUR 91,38

Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.

"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: 2005
Idioma: Ingl�s
ISBN 10: 0198530269
ISBN 13: 9780198530268
Encuadernaci�n: Tapa dura
N�mero de p�ginas: 264
Contacto del fabricante: no disponible
Persona responsable: Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italia