intensional logic

listen to the pronunciation of intensional logic
Английский Язык - Английский Язык
A formal deductive system able to represent the distinction between intension and extension of a term
intensional logic
Избранное