Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Predicate calculus --- Unsolvability (Mathematical logic) --- 510.6 --- #WWIS:ALTO --- Degrees of unsolvability --- Turing degrees of unsolvability --- Recursive functions --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Predicate calculus. --- Unsolvability (Mathematical logic). --- 510.6 Mathematical logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

Propositional calculus --- Predicate calculus --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Calculus, Propositional --- Logic, Symbolic and mathematical. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic. --- Propositional calculus - Problems, exercises, etc. --- Predicate calculus - Problems, exercises, etc.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 510.6 --- Logic, Symbolic and mathematical --- Predicate calculus --- #WWIS:ALTO --- Calculus, Predicate --- Quantification theory --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- Predicate calculus. --- 510.6 Mathematical logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Predicate calculus --- Tense (Logic) --- Calcul des prédicats --- Temps (Logique) --- Logic, Tense --- Calculus, Predicate --- Quantification theory --- Predicate calculus. --- Tense (Logic). --- Calcul des prédicats --- Grammar, Comparative and general --- Languages --- -Pragmatics --- Semantics --- 801.56 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Pragmalinguistics --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Language and languages --- Philosophical grammar --- Foreign languages --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Philosophy --- Grammar, Comparative --- Logic --- Time --- Comparative linguistics --- Information theory --- Lexicology --- Meaning (Psychology) --- Logic, Symbolic and mathematical --- General semantics --- Semantics (Philosophy) --- Linguistics --- Philology --- Anthropology --- Communication --- Ethnology --- Tense --- Lexicology. Semantics --- Pragmatics --- Grammar, Comparative and general. --- Pragmatics. --- Langage et langues --- Sémantique --- Pragmatique --- Grammaire comparée et générale --- Philosophie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Form (Logic) --- Predicate calculus. --- Reasoning. --- Forme (Logique) --- Calcul des prédicats --- Raisonnement --- 510.6 --- Predicate calculus --- Reasoning --- #TCPW P3.0 --- #TCPW W1.2 --- #WWIS:ALTO --- 681.3*F2 --- 681.3*I23 --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Logical form --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Form (Logic). --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 510.6 Mathematical logic --- Calcul des prédicats