Sequents, Frames, and Completeness

Cached

Download Links

by Thierry Coquand , Guo-qiang Zhang
Citations:2 - 1 self