Collections
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Edition : Pdf ed.
Call Number : 004.0151 FAR s
Availability : 1 copies available for loan
- Share to:
Search Result
Found 1 from your keywords: Author : "Farmer, William M."
Query took 0.07925 second(s) to complete
Information
Matana University Online Public Access Catalog. For assistance, contact your librarian by email [email protected].
