Effectively infinite classes of weak constructivizations of models
S. S. GoncharovVolume:
32
Langue:
english
Pages:
19
Journal:
Algebra and Logic
DOI:
10.1007/bf02263053
Date:
November, 1993
Fichier:
PDF, 1.22 MB
english, 1993