Search Results - "proof theory"

Suggested Topics within your search.
Refine Results
  1. 21
    Logic for concurrency and synchronisation

    Logic for concurrency and synchronisation

    Published 2003
    Subjects: “…Proof theory.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  2. 22
    The elementary theory of groups : a guide through the proofs of the Tarski conjectures /

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Fine, Benjamin, 1948-

    Published 2014
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  3. 23
    The elementary theory of groups : a guide through the proofs of the Tarski conjectures /

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / by Fine, Benjamin, 1948-

    Published 2014
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  4. 24
    Logic for concurrency and synchronisation

    Logic for concurrency and synchronisation

    Published 2003
    Subjects: “…Proof theory.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  5. 25
    2-D quadratic maps and 3-D ODE systems a rigorous approach /

    2-D quadratic maps and 3-D ODE systems a rigorous approach / by Zeraoulia, Elhadj

    Published 2010
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  6. 26
    2-D quadratic maps and 3-D ODE systems a rigorous approach /

    2-D quadratic maps and 3-D ODE systems a rigorous approach / by Zeraoulia, Elhadj

    Published 2010
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  7. 27
    Icons of mathematics an exploration of twenty key images /

    Icons of mathematics an exploration of twenty key images / by Alsina, Claudi

    Published 2011
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  8. 28
    Icons of mathematics an exploration of twenty key images /

    Icons of mathematics an exploration of twenty key images / by Alsina, Claudi

    Published 2011
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  9. 29
    Meaning, logic and ludics

    Meaning, logic and ludics by Lecomte, Alain, 1947-

    Published 2011
    Table of Contents: “…Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  10. 30
    Meaning, logic and ludics

    Meaning, logic and ludics by Lecomte, Alain, 1947-

    Published 2011
    Table of Contents: “…Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  11. 31
    Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    Published 2016
    Table of Contents: “…Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. …”
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  12. 32
    Advances in Proof-Theoretic Semantics

    Advances in Proof-Theoretic Semantics

    Published 2016
    Table of Contents: “…Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. …”
    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: