Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN

Free Download

Authors: Руцкий А. Н.

Series: Сибирский математический журнал, т. 48 (2007), № 2, с. 396-407

Size: 494 kB (506015 bytes)

Pages: 12/12

File format: pdf

Language: Russian

Publishing Year: 2007

Direct Download: Coming soon..

Download link:

Category: Mathematics , Logic

Руцкий А. Н.

Reviews

There are no reviews yet.

Be the first to review “Критерий допустимости правил вывода с метапеременными в модальной логике S4.alphaN”

You must be logged in to post a review.