A constraint-based approach to proof procedures for multi-valued logics

Författare
Patrick Doherty
Språk
Engelska
Förlag År Ort Om boken ISBN
1992 Sverige 15 sidor.