Help


from Wikipedia
« »  
So, objects and types and these relations are used to express formula in the theory.
The following styles of judgements are used to create new objects, types and relations from existing ones.

1.815 seconds.