DMCA

A local system for intuitionistic logic (2006)

by Alwen Tiu
Venue:of Lecture Notes in Artificial Intelligence
Citations:13 - 1 self