Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
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.

  1. Results that match 2 of 3 words

  2. Notre Dame Journal of Formal Logic Volume ??, Number ...

    https://www.dpmms.cam.ac.uk/~ardm/ardm_njb_ndjfl2.pdf
    11 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).

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.