Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian (Q841306)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian |
scientific article; zbMATH DE number 5604040
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian |
scientific article; zbMATH DE number 5604040 |
Statements
Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian (English)
0 references
15 September 2009
0 references
The articles of this volume are translations from the series ``Zap. Nauchn. Semin. POMI 358 (Russian) (2008; Zbl 1170.03308)'' and will be reviewed individually. For Part X see Zbl 0944.00012 and Zbl 0944.00017.
0 references
0.949381411075592
0 references
0.9484102725982666
0 references
0.9336552619934082
0 references
0.7551831603050232
0 references
0.754455029964447
0 references
