Matches in Library of Congress for { <http://lccn.loc.gov/2013039013> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2013039013 contributor B12747037.
- 2013039013 date "2013".
- 2013039013 description "Includes bibliographical references and index.".
- 2013039013 description "Machine generated contents note: Part I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.".
- 2013039013 extent "pages cm".
- 2013039013 identifier "9781107036598 (hardback)".
- 2013039013 identifier "9781107610774 (paperback)".
- 2013039013 identifier 9781107036598.jpg.
- 2013039013 issued "2013".
- 2013039013 language "eng".
- 2013039013 subject "511.3 23".
- 2013039013 subject "Logic, Symbolic and mathematical.".
- 2013039013 subject "MATHEMATICS / Logic. bisacsh".
- 2013039013 subject "QA9 .V66 2013".
- 2013039013 subject "Reasoning.".
- 2013039013 tableOfContents "Machine generated contents note: Part I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.".
- 2013039013 title "Elements of logical reasoning / Jan von Plato.".
- 2013039013 type "text".
