RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
1979, Volume 88
| General information | Contents |


Studies in constructive mathematics and mathematical logic. Part VIII


Editors: Yu. V. Matiyasevich, A. O. Slisenko


Full text: Contents

Review databases:

© Steklov Math. Inst. of RAS, 2024