A First Course In Logic

Zusatztext 'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.' Klappentext 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.

Product details

• Authors: Shawn Hedman, Shawn (Department of Mathematics Hedman, Hedman Shawn
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 08.07.2004
• EAN: 9780198529804
• ISBN: 978-0-19-852980-4
• No. of pages: 452
• Dimensions: 172 mm x 247 mm x 29 mm
• Series: OXFORD TEXTS IN LOGIC; Oxford Texts in Logic S.; OXFORD TEXTS IN LOGIC
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; Logik, PHILOSOPHY / Logic, MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, Mathematics, COMPUTERS / Machine Theory, Philosophy of Mathematics, Mathematical theory of computation, Mathematical logic, Philosophy: logic