000 02973nam a22004215i 4500
001 978-1-84628-229-4
003 DE-He213
005 20161121230931.0
007 cr nn 008mamaa
008 100301s2005 xxk| s |||| 0|eng d
020 _a9781846282294
_9978-1-84628-229-4
024 7 _a10.1007/1-84628-229-2
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aPBCD
_2bicssc
072 7 _aMAT018000
_2bisacsh
082 0 4 _a511.3
_223
100 1 _aGoldrei, Derek.
_eauthor.
245 1 0 _aPropositional and Predicate Calculus A Model of Argument
_h[electronic resource] /
_cby Derek Goldrei.
264 1 _aLondon :
_bSpringer London,
_c2005.
300 _aVIII, 315 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPropositions and Truth Assignments -- Formal Propositional Calculus -- Predicates and Models -- Formal Predicate Calculus -- Some Uses of Compactness.
520 _aAt the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: - the representation of mathematical statements by formulas in a formal language; - the interpretation of formulas as true or false in a mathematical structure; - logical consequence of one formula from others; - formal proof; - the soundness and completeness theorems connecting logical consequence and formal proof; - the axiomatization of some mathematical theories using a formal language; - the compactness theorem and an introduction to model theory. This book is designed for self-study by students, as well as for taught courses, using principles successfully developed by the Open University and used across the world. It includes exercises embedded within the text with full solutions to many of these. In addition there are a number of exercises without answers so that students studying under the guidance of a tutor may be assessed on the basis of what has been taught. Some experience of axiom-based mathematics is required but no previous experience of logic. Propositional and Predicate Calculus gives students the basis for further study of mathematical logic and the use of formal languages in other subjects. Derek Goldrei is Senior Lecturer and Staff Tutor at the Open University and part-time Lecturer in Mathematics at Mansfield College, Oxford, UK.
650 0 _aMathematics.
650 0 _aMathematical logic.
650 1 4 _aMathematics.
650 2 4 _aMathematical Logic and Foundations.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781852339210
856 4 0 _uhttp://dx.doi.org/10.1007/1-84628-229-2
912 _aZDB-2-SMA
950 _aMathematics and Statistics (Springer-11649)
999 _c506093
_d506093