A Cube of Proof Systems for the Intuitionistic Predicate mu-,nu-Logic (1997)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:Dept. of Informatics, Univ. of Oslo
Citations:6 - 5 self