Explicit Provability And Constructive Semantics (2001)

Cached

Download Links

by Sergei N. Artemov
Venue:Bulletin of Symbolic Logic
Citations:114 - 22 self