Description

Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках.

Reviews ( 0 )
Once a month we give presents to the most active reader.
Post more reviews and get a reward!
Quotes (0)
You can first publish a quote
Genres:
Top