Search Results - Leitsch, Alexander

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    The resolution calculus

    The resolution calculus by Leitsch, Alexander

    Published 1997
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Methods of cut-elimination

    Methods of cut-elimination by Baaz, Matthias

    Published 2011
    Other Authors: “…Leitsch, Alexander 1952-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: