Электронный каталог

Книга
C14 P-92

Priest, G.
An Introduction to Non-Classical Logic / G.Priest. – Cambridge : Cambridge Univ. Press, 2001. – XXI, 242 p. – URL: http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780511389535. – Bibliogr.: p.231-236. – ISBN 0-521-79434-X.

C14


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = non-classical logic
Ключевых слов = classical logic
Ключевых слов = object language
Ключевых слов = normal modal logics
Ключевых слов = conditional logics
Ключевых слов = intuitionist logic
Ключевых слов = many-valued logics
Ключевых слов = fuzzy logic