Verwandte Artikel zu Intermediate Logic
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 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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Intermediate Logic
Beispielbild für diese ISBN
Intermediate Logic
Verlag:
Oxford University Press, 1997
ISBN 10: 0198751419
ISBN 13: 9780198751410
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 393 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 41869980/2
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Intermediate Logic
Verlag:
Oxford University Press, 1997
ISBN 10: 0198751419
ISBN 13: 9780198751410
Gebraucht
Hardcover
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
hardcover. Zustand: Good. Good. book. Bestandsnummer des Verkäufers D8S0-3-M-0198751419-4
Anzahl: 1 verfügbar