The book is currently out of stock

On some semantic tableau proof procedures for modal logic

Authors

Graham Wrightson

Parameters

Computers, IT, Programming

Book purchase

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

Language
Released: 1984

We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating

Edition detailsSuggest a correction