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

Hedman, Shawn

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

Hardcover

ISBN 10: 0198529805 ISBN 13: 9780198529804

Verlag: OUP Oxford, 2004

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 499,00

1 Neu

Von EUR 255,27

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

�ber die Autorin bzw. den 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.