Kniha momentálne nie je na sklade

On some semantic tableau proof procedures for modal logic

Autori

Graham Wrightson

Parametre

Počítače, IT, programovanie

Nákup knihy

On some semantic tableau proof procedures for modal logic, Graham Wrightson

Jazyk
Rok vydania: 1984

Akonáhle sa objaví, pošleme e-mail.

Doručenie

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Informácie o vydaníNavrhnúť zmenu