Il libro è attualmente esaurito

On some semantic tableau proof procedures for modal logic

Autori

Graham Wrightson

Parametri

Computer, IT, programmazione

Acquisto del libro

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

Lingua
Pubblicato: 1984

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Dettagli dell'edizioneSuggerisci una correzione