Search
Search Funnelback University
- Refined by:
- Date: 2015
1 -
1 of
1
search results for KA :ZA31 op |u:www.dpmms.cam.ac.uk
where 0
match all words and 1
match some words.
Results that match 2 of 3 words
-
Notre Dame Journal of Formal Logic Volume ??, Number ...
https://www.dpmms.cam.ac.uk/~ardm/ardm_njb_ndjfl2.pdf11 Apr 2015: We have two two-placerelation symbols and =, propositional connectives , &, V , = , ,unrestricted quantifiers , , restricted quantifiers r, r, a class forming op-erator. ... a]k = {=(f) |f f ka & f is injective}. a (153).
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.