A simplified strong completeness proof for Q C =
pp. 83-96
Publication details
Published in:
Gabriel Leo (1969) Sektionen I-IV. Freiburg-Basel-Wien, Herder.
Seiten: 83-96
DOI: 10.5840/wcp141969315
Referenz:
Leblanc Hugues (I-IV) „A simplified strong completeness proof for Q C =“, In: Gabriel (ed.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, 83–96.