Explicit provability and constructive semantics (0)

by S N Artemov
Venue:The Bulletin of Symbolic Logic