Intermediate Logic

Zusatztext This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory. Klappentext 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. Zusammenfassung This text acts as a general guide for students taking a second course in logic after completing a basic introduction. It provides a preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory.

Product details

• Authors: Bostock, David Bostock, David (Fellow and Tutor in Philosophy Bostock
• Publisher: Oxford University Press
• Languages: English
• Product format: Paperback / Softback
• Released: 07.08.1997
• EAN: 9780198751427
• ISBN: 978-0-19-875142-7
• No. of pages: 402
• Dimensions: 158 mm x 236 mm x 22 mm
• Series: Print On Demand; Print on Demand
• Subjects: Humanities, art, music > Religion/theology; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; PHILOSOPHY / Logic, MATHEMATICS / Logic, MATHEMATICS / Set Theory, Mathematical logic, Philosophy: logic, Set theory