Intermediate Logic

David Bostock

ISBN 10: 0198751427 / ISBN 13: 9780198751427

Verlag: OUP Oxford, 1997

Beschreibung

nach der Bestellung gedruckt Neuware - Printed after ordering - Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.

Bestandsnummer des Verkäufers 9780198751427

Bibliografische Details

• Titel: Intermediate Logic
• Verlag: OUP Oxford
• Erscheinungsjahr: 1997
• Sprache: Englisch
• ISBN-10: 0198751427
• ISBN-13: 9780198751427
• Einband: Taschenbuch
• Zustand: Neu
• Abmessungen: 234B x 156 H x 22 T Millimeter Breite: 234 mm, Höhe: 156 mm, Tiefe: 22 mm
• Gewicht: 611 Gramm

Über diesen Titel

Inhaltsangabe

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches

Ü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.