Filtruj według: tematu
Wyświetlanie pozycji 1-9 z 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) |