005 |
|
19971108174457.0 |
010 |
|
|a 2002043456
|
020 |
|
|a0306477122 :|cNT|5092
|
035 |
|
|a2002043456
|
040 |
|
|aTWNTU|cTWNTU|dTWNTU
|
041 |
1
|
|aeng|hrus
|
042 |
|
|apcc
|
050 |
00
|
|aQA248|b.L2713 2003
|
082 |
00
|
|a511.3/22|221
|
095 |
|
|aNTTU|bG|cE023534|d511.322|eL414|pBOOK|fSYNSIA|zBOOK|m0|tDDC
|
100 |
1
|
|aLavrov, I. A.|q(Igor' Andreevich)
|
240 |
10
|
|aZadachi po teorii mnozhestv, matematicheskoi logike i teorii algoritmov.|lEnglish
|
245 |
10
|
|aProblems in set theory, mathematical logic, and the theory of algorithms /|cIgor Lavrov and Larisa Maksimova ; edited by Giovanna Corsi ; translated by Valentin Shehtman.
|
260 |
|
|aNew York :|bKluwer Academic/Plenum Publishers,|c2003.
|
300 |
|
|axii, 282 p. ;|c24 cm.
|
440 |
0
|
|aThe university series in mathematics
|
504 |
|
|aIncludes bibliographical references (p. 271-273) and index.
|
650 |
0
|
|aSet theory|xProblems, exercises, etc.
|
650 |
0
|
|aLogic, Symbolic and mathematical|xProblems, exercises, etc.
|
650 |
0
|
|aAlgorithms|xProblems, exercises, etc.
|
700 |
1
|
|aMaksimova, L. L.|q(Larisa Lvovna)
|
700 |
1
|
|aCorsi, Giovanna.
|
809 |
|
|d511.322|eL414|tDDC|pBOOK
|