Sciweavers

AISC
2004
Springer

A Paraconsistent Higher Order Logic

14 years 4 months ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where AISC
Authors Jørgen Villadsen
Comments (0)