I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Explicit Provability and Constructive Semantics:

Artemov, Sergei N.
The Bulletin of Symbolic Logic.  7 (2001)  1 - p. 1-36 , 2001
Link: https://www.jstor.org/stable/2687821