Search Results - "Type theory."

Suggested Topics within your search.
  • 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 Bruce), 1937-

    Published 1986
    Subjects:
    Book

    Save to List
    Saved in:

Search Tools: