Knihu momentálně nemáme skladem

On some semantic tableau proof procedures for modal logic

Autoři

Graham Wrightson

Parametry

Počítače, IT, programování

Nákup knihy

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

Jazyk
Rok vydání: 1984

Jakmile se objeví, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Informace o vydáníNavrhnout úpravu