Search Results - Andrews, P. B. (Peter Bruced1937-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    An introduction to mathematical logic and type theory to truth through proof

    An introduction to mathematical logic and type theory to truth through proof by Andrews, P. B. (Peter Bruced1937-

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: