A taxonomy of C-systems (2002)

by W A Carnielli, J Marcos
Venue:of Lecture Notes in Pure and Applied Mathematics