Filter by: Subject
Now showing items 1-9 of 1
completeness (1) |
comprehension (1) |
equality (1) |
first-order logic (1) |
identity (1) |
indiscernibility (1) |
nameability (1) |
translations (1) |
type theory (1) |
completeness (1) |
comprehension (1) |
equality (1) |
first-order logic (1) |
identity (1) |
indiscernibility (1) |
nameability (1) |
translations (1) |
type theory (1) |