NUL: Natural Deduction for Ultrafilter Logic

Bulletin of the Section of Logic, Tom 32, Numer 4 (2003) s. 191-199
Christian J. Renteria, Edward Hermann Haeusler, Paulo A.S. Veloso

 

do góry