Logic and computer science, edited by Odifreddi Piergiorgio, APIC studies in data processing, vol. 31, Academic Press, London, San Diego, etc., 1990, xii + 430 pp.
Mints, GrigoriVolume:
59
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200019794
Date:
September, 1994
Fichier:
PDF, 460 KB
english, 1994