Search

Search Constraints

Start Over You searched for: Subject extensional rules Remove constraint Subject: extensional rules

Search Results

1. Deduction in TIL: from simple to ramified hierarchy of types