Explicit provability and constructive semantics (0)

by S Artemov
Venue:Bulletin of Symbolic Logic