Het boek is momenteel niet op voorraad

On some semantic tableau proof procedures for modal logic

Auteurs

Graham Wrightson

Parameters

Computers, IT, Programmeren

Een boek kopen

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

Taal
Jaar van publicatie: 1984

Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief

Informatie over de releaseEen wijziging voorstellen