Двигательная установка. MR-80B. [Редактировать]

Дополнительная классификация

#Наименования
1Двигательные установки

Технические характеристики

#ХарактеристикаЗначение
1Топливогидразин
2Тяга, кг32

Экономические характеристики

#ХарактеристикаДата измеренияЗначение
1Производитель Aerojet Rocketdyne

Найдено 184 документов по запросу «MR-80B». [Перейти к поиску]


Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.49/5
...) of the test article. Aerojet MR-80B engine Pressure transducers Figure 5. Blow.... Hydrazine tanks Pressurant tank Aerojet MR-80B engine Pressure transducers Figure 4. Pressure..., for steeper trajectories with an MR-80B engine (see Section 4.1, 4.2), the thrust... some R-40B engine spares. Aerojet’s MR-80B engine is, on the other... is worth noting that the MR-80B engine is a special use engine... a two-year procurement time. No MR-80B engines are available off the... four choices listed, only the MR-80B looks like an attractive candidate...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.1/5
... Mathematics 11, 2 (2002), 369–378. (MR 2004a:68047) 43. C. S. Calude, M. Dumitrescu.... Comput. 132, 2–3 (2002), 369–384. (MR 2003j:94047) 44. C. S. Calude, B. Pavlov... Information Processing 1, 1–2 (2002), 107–127. (MR 1964322) 45. C. S. Calude, E. Calude. The.... Sci. 77 (2002), 180–190. (MR 1920334) 46. C. S. Calude. Chaitin Ω numbers.... Sci. 284 (2002), 269–277. (MR 2003f:68059) 47. C. S. Calude, K. Salomaa... words, J. UCS 8, 2 (2002), 141–152. (MR 2003d:68117) 48. J. J. Arulanandham, C. S. Calude.... Sci. 76 (2002), 153–162. (MR 1901178) 49. C. S. Calude. A characterization of.... Comput. Sci. 271 (2002), 3–14. (MR 2002m:68051) 50. C. S. Calude, H. Ishihara... Science 12, 4 (2001), 479–489. (MR 2003d:68102) 51. C. S. Calude. Real... Valued Logic 6 (2001), 47–65. (MR 2002a:68067) 55. C. S. Calude, P. Hertling... & Fractals 12/3 (2001), 491–503. (MR 2001m:68130) 56. C. S. Calude, M. J. Dinneen... computing, Complexity 6, 1 (2000), 35–37. (MR 1808342) 57. C. S. Calude, G. P˘ aun. Computing... a nutshell, Complexity 6, 1 (2000), 38–48. (MR 1808343) 58. C. S. Calude, E. Calude, B. Khoussainov.... Sci. 242, 1–2 (2000), 219–235. (MR 2001h:68075) 59. C. S. Calude, M. Lipponen... & Fractals 11 (2000), 315–319. (MR 2000i:68097) 60. C. S. Calude, G. J. Chaitin... Physics 29, 3 (1999), 349–379. (MR 2000j:81021) 63. D. Bridges, C. Calude... & Fractals 10, 6 (1999), 927–934. (MR 2000f:03185) 64. C. Calude, S. Marcus... 54 Supplement (1999), 619–623. (MR 2000i:28010) 66. C. S. Calude, J. L. Casti.... Sci. 66 (1998), 139–149. (MR 99f:68136) 68. C. S. Calude, P. Hertling..., Fundamenta Informaticae 33 (1998), 1–16. (MR 2000b:03162) 69. C. S. Calude, J. L. Casti...: a conventional report, Complexity 3, 4 (1998), 8–11. (MR 1618378) 71. C. S. Calude, P. H. Hertling, K. Svozil.... Publ. 15 (1998), 133–142. (MR 99i:81020) 72. C. Calude, T. Zamfirescu... Journal Math. 27 (1998), 7–13. (MR 99f:03086) 73. C. S. Calude. A genius... of a master logician, Complexity 3, 2 (1997), 1–5. (MR 99a:01019) 74. C. S. Calude, A. Nies... reducibilities, J. UCS 3 (1997), 1161– 1166. (MR 99i:03049) 75. C. S. Calude, I. Tomescu... codes, J. UCS 3 (1997), 1167–1179. (MR 2000e:94032) 76. C. Calude, E. Calude... Logic 90, 1–3 (1997), 263–276. (MR 2001h:68075) 77. C. Calude, P. Hertling... Physics 36 (1997), 1495–1523. (MR 98i:81029) 79. C. Calude, S. Yu.... Mathematics 80 (1997), 199–205. (MR 99a:68105) 80. C. Calude. The... revisited, J. UCS 2 (1996), 306–310. (MR 97c: 68070) 82. C. Calude. Algorithmic... problems, J. UCS 2 (1996), 439–441. (MR 97f: 68080) 4 83. C. Calude, C. Cˆ ampeanu... ?, Complexity 1, 15 (1996), 47–50. (MR 97a: 68086) 84. C. Calude, M. Zimand.... Sci. 154 (1996), 307–327. (MR 97a: 68060) 85. A. Arslanov, C. Calude... Grundlang. Math. 3 (1992), 169–178. (MR 94j: 03083, Zbl 798#03042...–147. [With a comment by G. Asser] (MR 91h: 03049, Zbl 687#03019... Computational Mathematics 1 (1989), 61–70. (MR 91a: 68147, Zbl 673#68028... (N. S.) 27 (75) (1983), 213–216. (MR 85f: 54057, Zbl 539#54019.... Control Engrg. 6 (1981), 133–144. (MR 85b: 03064, Zbl 503#68034..., Fund. Inform. 4 (1981), 245–254. (MR 83h: 68133, Zbl 473#68068..., Historia Math. 9 (1979), 380–384. (MR 80i: 03053, Zbl 426#03042.... R. S. Roumanie 22 (1978), 255–258. (MR 80b: 03052, Zbl 399#03025) 139...) 19 (42), (1978), 29–32. (MR 80b: 03056, Zbl 384#03029) 140.... Math. R. S. Roumanie 19 (1976), 3–10. (MR 56#15523, Zbl 347#06020...¨at Wien, Austria, 2001, 1–16. (MR 2004a:68063) 17. C. S. Calude, K. Salomaa... Scientific, Singapore, 2001, 33–46. (MR 2003d:03004) 19. C. S. Calude. A glimpse... 111, Stanford, 2000, 67–83. (MR 2002g:68055) 20. C. S. Calude, E. Calude... Informatik-Berichte 99–5, 129–139. (MR 2003e:68059) 21. C. S. Calude. A characterization...-Verlag, Berlin, 1998, 596–606.(MR 99h:68089) 26. C. Calude, E. Calude...-Verlag, Berlin, 1995, 156–171. (MR 1459175) 30. C. Calude, H. J¨ urgensen. Randomness..., Dordrecht, 1995, 101–113. (invited) (MR 1757744) 32. C. Calude, D. I. Campbell, K. Svozil..., Kluwer, Dordrecht, 1995, 115–131. (MR 1757745) 33. C. Calude, H. J¨ urgensen. Randomness...–66. (invited) (Zbl 950 # 22464, MR 96f:11100) 34. C. Calude, A. Salomaa...-Holland, Amsterdam, l980, 225–232. (MR 82e: 54012, Zbl 444#54001... Scientific, Singapore, 2001, 33–46. (MR 2003d:03004) 12. C. S. Calude, E. Calude..., Kluwer, Amsterdam, 2001, 99–113. (MR 1890684) 13. C. S. Calude, H. J¨ urgensen, S. Legg...-Verlag, London, 2000, 39–52. (MR 2001h:03025) 14. C. S. Calude, R. J. Coles..., Berlin, 1999, 225–237. (invited) (MR 2000m:68079) 15. C. S. Calude, R. Coles... Press, Cambridge, 1999, 23–39. (MR 2001b:03043) 16. C. Calude. Computability...-Verlag, Berlin, 1997, 1–60. (invited) (MR 98k:68072) 18. C. Calude, H. Maurer..., 1982, 39–59. (in Romanian) (MR 83k: 92005) 24. C. Calude, C. S ¸ . Calude.... Forewords by G. Chaitin and A. Salomaa. (MR 1995845) 2. C. S. Calude, G. P˘ aun. Computing with... Publishers, London, 2001, 336 pp. (MR 2002e:68020) 3. C. S. Calude. Constructive Mathematics..., NorthHolland, Amsterdam, 1988, 500 pp. (MR 89g: 03057, Zbl 633#03034...-Verlag, Singapore, 1998, 341 pp. (MR 2001b:68032) 21. C. S. Calude, J. Casti...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.14/5
... , W. A. Benjamin, Inc., New YorkAmsterdam, 1967. MR 39 #2181 [2] B. Aebischer, M. Borer, M. K¨alin..., Birkh¨auser Verlag, Basel, 1994. MR 96a:58082 [3] Selman Akbulut and... University Press, Princeton, NJ, 1990. MR 90k:57017 [4] A. Andronov and L. Pontrjagin.... Paris 261 (1965), 3719– 3722. MR 33 #1861 [6] D. K. Arrowsmith and C. M. Place... , Cambridge University Press, Cambridge, 1990. MR 91g:58068 [7] M. F. Atiyah, Convexity and.... Soc. 14 (1982), no. 1, 1– 15. MR 83e:53037 [8] , Angular momentum, convex.... (2) 26 (1983), no. 2, 121– 133. MR 85a:58027 [9] M. F. Atiyah and R. Bott..., Birkh¨auser Verlag, Basel, 1991. MR 92m:57046 [12] , Symplectic and... Academic Publishers Group, Dordrecht, 1997. MR 98h:22024 [16] Augustin Banyaga... Mathematical Society, Providence, RI, 2001. MR 2001f:53158 [19] P. Biran, Lagrangian.... Sci. U. S. A. 40 (1954), 586– 588. MR 16,12a [23] , An application.... Soc. (N.S.) 7 (1982), no. 2, 331– 358. MR 84m:58026a ´ , Morse theory indomitable..., American Mathematical Society, Providence, R.I., 1978. MR 80c:58009 [36] Lawrence Conlon... Boston Inc., Boston, MA, 1993. MR 94d:58001 [37] C.W. Curtis, Linear... Mathematical Society, Providence, RI, 2001. MR 2002f:55001 [39] Albrecht Dold... Mathematics, Springer-Verlag, Berlin, 1995. MR 96c:55001 [40] Wojciech Dorabiala... geometry, 1993, pp. 57– 93. MR 96a:58065 [42] B. A. Dubrovin, A. T. Fomenko.... (3) 61 (1990), no. 1, 109– 137. MR 91k:57029 [48] , Invariants for..., Ann. of Math. (2) 70 (1959), 1– 8. MR 24 #A1730 [58] , Critical submanifolds.... 311 (1989), no. 2, 561– 592. MR 90a:58149 [62] Stephen H. Friedberg... Book Program, Reading, Mass., 1981. MR 83b:55001 [67] Phillip Griffiths... Wiley & Sons], New York, 1978. MR 80b:14001 [68] M. Gromov, Pseudoholomorphic curves..., Springer-Verlag, New York, 1990. MR 93e:58046 [70] Martin A. Guest...-Hall Inc., Englewood Cliffs, N.J., 1974. MR 50 #1276 [72] Victor Guillemin..., American Mathematical Society, Providence, R.I., 1977. MR 58 #24404 [73] , Symplectic techniques... , Cambridge University Press, Cambridge, 1984. MR 86f:58054 [74] Theodor Hangan... , J. Differential Geometry 2 (1968), 363– 367. MR 39 #6357 [75] Sigurdur Helgason... Jovanovich Publishers], New York, 1978. MR 80k:53081 [76] Morris W. Hirsch.... Soc. 14 (1963), 364– 365. MR 26 #3033 [77] , Differential topology, Springer-Verlag, New York, 1994. MR 96c:57001 [78] Morris W. Hirsch..., Publishers], New York-London, 1974. MR 58 #6484 [79] David E. Hurtubise..., Springer-Verlag, New York, 1994. MR 94k:55001 [82] M. C. Irwin, On... Jovanovich Publishers], New York, 1980. MR 82c:58018 [84] Nathan Jacobson... Publications Inc., New York, 1979. MR 80k:17001 [85] I. M. James, General... University Press, New York, 1991. MR 93g:57044 [88] A. A. Kirillov, Elements... representations , Springer-Verlag, Berlin, 1976. MR 54 #447 [89] Frances Clare... University Press, Princeton, NJ, 1984. MR 86i:58050 [90] Anthony W. Knapp... University Press, Princeton, NJ, 1986. MR 87j:22022 [91] Antoni A. Kosinski... Differential Equations 2 (1963), 457– 484. MR 29 #2818a [93] Peter Lancaster...-Holland Publishing Co., Amsterdam, 1992. MR 93g:58005 [98] Dusa McDuff... Mathematical Society, Providence, RI, 1994. MR 95g:58026 [99] , Introduction to... University Press, New York, 1998. MR 2000g:53098 [100] J. Milnor, Morse..., Princeton University Press, Princeton, N.J., 1963. MR 29 #634 , Differential topology, Lectures..., Princeton University Press, Princeton, N.J., 1965. MR 32 #8352 [103] John W. Milnor... of Virginia, Charlottesville, Va., 1965. MR 37 #2239 [104] John W. Milnor..., Princeton University Press, Princeton, N. J., 1974. MR 55 #13428 [105] Marston Morse... Mathematical Society, Providence, RI, 1996. MR 98f:58070 [107] J¨ urgen Moser...-Hall Inc., Englewood Cliffs, N.J., 1975. MR 57 #4063 [109] , Elements of... , Academic Press Ltd., London, 1991. MR 93c:58002 [111] Richard S. Palais... systems , Topology 8 (1968), 385– 404. MR 39 #7620 [113] J. Palis and... , Springer-Verlag, New York, 1982. MR 84a:58004 [115] M. M. Peixoto, Structural... manifolds , Topology 1 (1962), 101– 120. MR 26 #426 [116] , Structural stability... remark. , Topology 2 (1963), 179– 180. MR 26 #6533 [117] Lawrence Perko.... 7, Springer-Verlag, New York, 1991. MR 91m:34001 [118] Everett Pitcher... , Osaka J. Math. 6 (1969), 243– 249. MR 41 #6246 [120] S. Ramanujan, An.... (N.S.) 32 (1968), 243– 275 (1969). MR 41 #2708 [121] , Application of... Conley Memorial Issue, 375– 393. MR 89h:58094 [123] H. L. Royden, Real... Publishing Company, New York, 1988. MR 90g:00004 [124] Walter Rudin..., Birkh¨auser Verlag, Basel, 1993. MR 95a:58022 [132] P. Seidel, π1 of... systems, SpringerVerlag, New York, 1987. MR 87m:58086 [134] Ana Cannas.... 1764, Springer-Verlag, Berlin, 2001. MR 2002i:53105 [135] S. Smale, Stable... Perish Inc., Wilmington, Del., 1979. MR 82g:53003c [140] Robert E. Stong..., Princeton University Press, Princeton, N.J., 1968. MR 40 #2108 [141] Arne Str...—Polish Scientific Publishers, Warsaw, 1984. MR 86f:58042 [144] Clifford Henry..., Springer-Verlag, New York, 1978. MR 80b:55001 [151] J. H. C. Whitehead, Combinatorial homotopy...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.12/5
... symplectic topology, 2006, pp. 1– 74. MR MR2276948 [2] Ralph Abraham and Joel..., W. A. Benjamin, Inc., New YorkAmsterdam, 1967. MR 39 #2181 [3] B. Aebischer, M. Borer, M. K¨alin..., Birkh¨auser Verlag, Basel, 1994. MR 96a:58082 [4] Selman Akbulut and... University Press, Princeton, NJ, 1990. MR 90k:57017 [5] A. Andronov and L. Pontrjagin.... Paris 261 (1965), 3719–3722. MR 33 #1861 [7] D. K. Arrowsmith and C. M. Place..., Cambridge University Press, Cambridge, 1990. MR 91g:58068 [8] M. F. Atiyah and R. Bott... (1983), no. 1505, 523–615. MR 85k:14006 [9] M. F. Atiyah, Convexity and..., Birkh¨auser Verlag, Basel, 2004. MR MR2091310 (2005k:53158) [14] David... 29 (2009), no. 6, 1693–1703. MR MR2563088 (2011d:37048) [17] Augustin... Academic Publishers Group, Dordrecht, 1997. MR 98h:22024 [19] S. Berceanu and... Mathematical Society, Providence, RI, 2001. MR 2001f:53158 [21] P. Biran, Lagrangian.... J. Math. 80 (1958), 964–1029. MR MR0105694 (21 #4430) [24] , Correction.... Soc. (N.S.) 7 (1982), no. 2, 331–358. MR 84m:58026a ´ [30] , Morse theory..., Springer-Verlag, New York, 1993. MR MR1224675 (94d:55001) [33] Theodor..., Vol. 1, 2, 2001, pp. 133–175. MR 1929325 (2003h:58030) [36] J. W. Cannon..., American Mathematical Society, Providence, R.I., 1978. MR 80c:58009 [39] Lawrence Conlon... Boston Inc., Boston, MA, 1993. MR 94d:58001 [40] C.W. Curtis, Linear... Mathematical Society, Providence, RI, 2001. MR 2002f:55001 [42] Albrecht Dold... Mathematics, Springer-Verlag, Berlin, 1995. MR 96c:55001 Bibliography 313 [43... geometry, 1993, pp. 57–93. MR 96a:58065 [45] B. A. Dubrovin, A. T. Fomenko.... (3) 61 (1990), no. 1, 109–137. MR MR1051101 (91k:57029) [51] , Invariants..., Ann. of Math. (2) 70 (1959), 1–8. MR 24 #A1730 [61] , Critical submanifolds... Book Program, Reading, Mass., 1981. MR 83b:55001 [70] Phillip Griffiths... Wiley & Sons], New York, 1978. MR 80b:14001 [71] M. Gromov, Pseudoholomorphic curves...-Hall Inc., Englewood Cliffs, N.J., 1974. MR 50 #1276 [75] Victor Guillemin..., American Mathematical Society, Providence, R.I., 1977. MR 58 #24404 [76] , Symplectic techniques..., Cambridge University Press, Cambridge, 1984. MR 86f:58054 [77] Theodor Hangan..., J. Differential Geometry 2 (1968), 363–367. MR 39 #6357 ´ [78] B. Helffer and... Jovanovich Publishers], New York, 1978. MR 80k:53081 [80] Morris W. Hirsch..., Publishers], New York-London, 1974. MR 58 #6484 [81] Morris W. Hirsch..., Springer-Verlag, New York, 1994. MR 96c:57001 [83] David E. Hurtubise... Jovanovich Publishers], New York, 1980. MR 82c:58018 [88] Nathan Jacobson... Publications Inc., New York, 1979. MR 80k:17001 [89] I. M. James, General... representations, Springer-Verlag, Berlin, 1976. MR 54 #447 [94] Frances Clare... University Press, Princeton, NJ, 1984. MR 86i:58050 [95] Anthony W. Knapp... University Press, Princeton, NJ, 1986. MR 87j:22022 [96] Antoni A. Kosinski... Differential Equations 2 (1963), 457–484. MR 29 #2818a [98] Peter Lancaster...-Holland Publishing Co., Amsterdam, 1992. MR MR1173211 (93g:58005) [105] Dusa... University Press, New York, 1998. MR 2000g:53098 [106] , J-holomorphic curves... Mathematical Society, Providence, RI, 2004. MR MR2045629 (2004m:53154) [107] J. Milnor..., Princeton University Press, Princeton, N.J., 1963. MR 29 #634 [108] , Differential topology..., Princeton University Press, Princeton, N.J., 1965. MR 32 #8352 [110] John W. Milnor..., Princeton University Press, Princeton, N. J., 1974. MR 55 #13428 [111] John W. Milnor... of Virginia, Charlottesville, Va., 1965. MR 37 #2239 [112] Marston Morse... Mathematical Society, Providence, RI, 1996. MR 98f:58070 [114] J¨ urgen Moser...-Hall Inc., Englewood Cliffs, N.J., 1975. MR 57 #4063 [116] , Elements of..., Academic Press Ltd., London, 1991. MR 93c:58002 [118] Richard S. Palais..., Springer-Verlag, New York, 1982. MR 84a:58004 [122] M. M. Peixoto, Structural... manifolds, Topology 1 (1962), 101–120. MR 26 #426 [123] , Structural stability... remark., Topology 2 (1963), 179–180. MR 26 #6533 [124] Lawrence Perko.... 7, Springer-Verlag, New York, 1991. MR 91m:34001 [125] Everett Pitcher..., Osaka J. Math. 6 (1969), 243–249. MR 41 #6246 [129] S. Ramanujan, An.... (N.S.) 32 (1968), 243–275 (1969). MR 41 #2708 [130] , Application of... Conley Memorial Issue, 375–393. MR 89h:58094 [132] H. L. Royden, Real..., Birkh¨auser Verlag, Basel, 1993. MR MR1239174 (95a:58022) [141] , Equivalences..., 1999), 1999, pp. 197–216. MR MR1732382 (2000j:57070) [142] P. Seidel.... Anal. 7 (1997), no. 6, 1046–1095. MR 99b:57068 Bibliography 317 [143... systems, SpringerVerlag, New York, 1987. MR 87m:58086 [144] Ana Cannas.... 1764, Springer-Verlag, Berlin, 2001. MR 2002i:53105 [145] S. Smale, Stable..., New York, 1981. Corrected reprint. MR MR666554 (83i:55001) [149] Michael... Perish Inc., Wilmington, Del., 1979. MR 82g:53003c [150] Robert E. Stong..., Princeton University Press, Princeton, N.J., 1968. MR 40 #2108 [151] Arne Str...—Polish Scientific Publishers, Warsaw, 1984. MR 86f:58042 [154] Clifford Henry.... 24 (2006), no. 2, 127– 159. MR 2243274 [160] John C. Wells, Invariant..., Springer-Verlag, New York, 1978. MR 80b:55001 [162] J. H. C. Whitehead, Combinatorial homotopy...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.28/5
.... J. 44 (1977), no. 1, 45–57. MR 55 #8884 [Bea79] , Correction to.... J. 46 (1979), no. 1, 215. MR MR523608 (80b:47062) [BS75] J. L. Bona and R. Smith... (1975), no. 1287, 555–601. MR 52 #6219 [Cal60] Alberto-P. Calder... Buenos Aires, Buenos Aires, 1960. MR MR0123834 (23 #A1156) [CDKS01] J. E. Colliander... (2001), no. 8, 3307– 3325 (electronic). MR MR1828607 (2002d:35186) [Chi02a] Hiroyuki.... (2002), no. 15, 789–820. MR MR1891174 (2003c:35145) [Chi02b] , Smoothing... (2002), no. 9-10, 1953–2005. MR MR1941663 117 118 ¨ C. E. KENIG, QUASILINEAR.... 48 (1995), no. 8, 769–860. MR MR1361016 (96m:35057) [CS88] P. Constantin.... Soc. 1 (1988), no. 2, 413–439. MR MR928265 (89d:35150) [CW90] Thierry... (1990), no. 10, 807– 836. MR MR1055532 (91j:35252) [Doi94] Shin.... 34 (1994), no. 2, 319–328. MR 95g:35190 [Doi96] , Remarks on... 21 (1996), no. 1-2, 163–178. MR 96m:35058 [Doi00] , Smoothing effects.... 318 (2000), no. 2, 355–389. MR 2001h:58045 [Duo01] Javier Duoandikoetxea... original by David Cruz-Uribe. MR 2001k:42001 [FP78] C. Fefferman and... (1978), no. 10, 4673–4674. MR 80b:47064 [HKM76] Thomas J. R. Hughes, Tosio... (1976), no. 3, 273–294 (1977). MR MR0420024 (54 #8041) [H¨or66] Lars... Math. (2) 83 (1966), 129–209. MR 38 #1387 BIBLIOGRAPHY [Ich84] 119.... 21 (1984), no. 3, 565–581. MR 86f:35060 [Kat75] Tosio Kato.... 58 (1975), no. 3, 181–205. MR MR0390516 (52 #11341) [Kg81] Hitoshi..., R´emi Vaillancourt and Michihiro Nagase. MR MR666870 (84c:35113) [Kla82] Sergiu.... 78 (1982), no. 1, 73–98. MR 84b:35015 [KP83] S. Klainerman and.... 36 (1983), no. 1, 133–141. MR 84a:35173 [KPV91a] Carlos E. Kenig.... J. 40 (1991), no. 1, 33–69. MR 92d:35081 [KPV91b] , Well-posedness.... Soc. 4 (1991), no. 2, 323–347. MR 92c:35106 [KPV93a] , Small solutions... 10 (1993), no. 3, 255–288. MR 94h:35238 [KPV93b] , Well-posedness.... 46 (1993), no. 4, 527–620. MR 94h:35229 [KPV96] , Quadratic forms.... 348 (1996), no. 8, 3323–3353. MR MR1357398 (96j:35233) [KPV97] , On... EQUATION 120 pp. 205–227. MR 98h:35042 [KPV98] , Smoothing effects.... 134 (1998), no. 3, 489–545. MR MR1660933 (99k:35166) , The Cauchy.... 158 (2004), no. 2, 343–388. MR MR2096797 (2005f:35283) [KS96] Lev.... Lett. 3 (1996), no. 1, 77–91. MR MR1393385 (97g:35030) [KT] Herbert.... Math. 19 (1966), 473–492. MR 34 #6352 [LP02] Wee Keong... (2002), no. 2, 435–459 (electronic). MR 1 951 782 [Miz81] Sigeru Mizohata.... 57 (1981), no. 2, 81–84. MR 82g:35032 [MST01] L. Molinet, J. C. Saut... (2001), no. 4, 982–988 (electronic). MR 2002k:35281 [Pop01] Markus Poppenberg.... 6, Ser. A: Theory Methods, 723– 741. MR 2002f:35200 [Sha82] Jalal Shatah... 46 (1982), no. 3, 409–425. MR 84g:35036 [Sj¨o90] Per.... 28 (1990), no. 1, 145–157. MR MR1049648 (91d:35206) BIBLIOGRAPHY [Ste70..., Princeton University Press, Princeton, N.J., 1970. MR 44 #7280 [Ste93] , Harmonic analysis..., Monographs in Harmonic Analysis, III. MR 95c:42002 [Tak74] Jiro Takeuchi... Acad. 50 (1974), 133–137. MR 51 #3733 [Tak80] , On the.... 20 (1980), no. 1, 105–124. MR 81i:35013 [Tak84] , Some remarks.... 20 (1980), no. 1, 105–124; MR 81i:35013], J. Math. Kyoto Univ. 24 (1984), no. 4, 741–754. MR 86j:35009 [Tay96] Michael E. Taylor..., Qualitative studies of linear equations. MR 98b:35003 [TF80] Masayoshi Tsutsumi.... 23 (1980), no. 3, 259–277. MR 83c:35108a [TF81] , On solutions.... 24 (1981), no. 1, 85–94. MR 83c:35108b [Veg88] Luis Vega...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.06/5
.... Soc. 63 (1967) 951-956. [MR 35-7107; Z 179-170; SCI.... Soc. 63 (1967) 957-962. [MR 357107; Z 179-170; SCI 1970.... Soc. 64 (1968) 45-52. [MR 36-1952; Z 179-170.] ‘Stable.... Soc. 64 (1968) 625-643. [MR 37-749; Z 187-73; SCI...’, Bull. London Math. Soc. 4 (1972) 1-2. [MR 46-3307; Z 244-04004; SCI...’, Fund. Math. 77 (1972) 167170. [MR 48-5865; Z 244.46014; SCI... Math. Soc. (2) 5 (1972) 231-232. [MR 47-3996; Z 237.46050; SCI.... Soc. (3) 25 (1972) 115-136. [MR 49-9144; Z 236.46025; SCI...fic J. Math. 43 (1972) 341-347. [MR 47-7378; Z 252.46016; SCI.... J. Math. 94 (1972) 777-798. [MR 47-7378; Z 252.46014; SCI.... Amer. Math. Soc., Jan. 1975; MR 56.12824; Z 273.46035; SCI.... Math. 36 (1974) 270-275. [MR 50-2866; Z 281-46007; SCI.... Soc. (3) 29 (1974) 502-520. [MR 51-1342; Z 293.46033; SCI.... Ann. 211 (1974) 87-106. [MR 51-3862; Z 282.46058; SCI.... Soc. 78 (1975) 95-106. [MR 52-13177; Z 303.28007; SCI.... Soc. 77 (1975) 71-89. [MR 50-7995; Z 298.46007; SCI.... Soc. (2) 11 (1975) 276-284. [MR 52-1245; Z 313.06016; SCI... Math. 15 (1975) 323-327. [MR 52-6478; Z 318.47013; SCI...’, Manuscripta Math. 15 (1975) 219242. [MR 51-8801; SCI 1976×3, 1978.... Bull. 19 (1976) 285-289. [MR 55-8292; Z 353.28005; SCI.... Soc. 81 (1977) 31-42. [MR 54-13526; Z 344.46019; SCI...’, Mathematika 24 (1977) 257-261. [MR 58-24210; Z 366.54020; SCI... Math. 22 (1977) 77-85. [MR 57-4090; Z 396.54015; SCI.... J. Math. 100 (1978) 845-886. [MR 80b:54017; Z 413.54016; SCI 1980.... Soc. 83 (1978) 211-233. [MR 56-16138; Z 374.46006; SCI... Wahrscheinlichkeitstheorie u. v. G. 45 (1978) 159-167. [MR 80b:28003; Z 382.28001; SCI 1984...’, Mathematika 25 (1978) 213-215. [MR 80c:28009; Z 403.28011; SCI... J. Math. 32 (1979) 299-304. [MR 82b:03096; Z 413.04002; SCI.... Zeitschrift 168 (1979) 117-142. [MR 80k:28004; Z 393.28005, 406...’, Mathematika 26 (1979) 30-32. [MR 81f:46002; Z 456:46011; SCI.... Ann. 241 (1979) 113-128. [MR 81m:28004; Z 395.60006; SCI...’, Mathematika 26 (1979) 302-305. [MR 81i:46026; Z 423.46006.] (with...’, Israel J. Math. 34 (1979) 287320. [MR 81g:47037; Z 438.47042; SCI...’, Hokkaido Math. J. 9 (1980) 179-183. [MR 82g:46052; Z 447.46008.] (with... of Prob. 8 (1980) 1192-1193. [MR 82i:60011; Z 446.60006; SCI... Math. 33 (1981) 387-405. [MR 82e:28006; Z 459.28010; SCI... Math. 71 (1982) 297-304. [MR 83j:46025; Z 511.46013; SCI.... Soc. 277 (1983) 835-849. [MR 84d:54067; Z 518.54032; SCI.... [Bull. London Math. Soc., 1985; MR 86i:03001; Z 551.03033; SCI...’, Mathematika 31 (1984) 323-335. [MR 87b:28013; Z 551.28105; SCI..., G.Pisier, Univ. Paris VII), 1985. [MR 87d:28006; Z 579.28006.] 1985.... Soc. 291 (1985) 551-582. [MR 87f:60013; Z 575.60006.] 1986.... Soc. (3) 53 (1986) 518-538. [MR 88a:54088; Z 604.54038; SCI.... Soc. 101 (1987) 647-651. [MR 88i:28022; Z 634.28006.] ‘Measure...’, Dissertationes Math. 260 (1987) 1-116. [MR 89e:28012; Z 703.28003; SCI.... Soc. 103 (1988) 147-162. [MR 89f:28001; Z 639.28006.] (with... Appl. 29 (1988) 151-166. [MR 89i:03096; Z 656.54001; SCI.... Oxford (2) 39 (1988) 323-331. [MR 89k:46033; Z 662.46018.] (with.... Math. 129 (1988) 17-33. [MR 89g:54061; Z 665.54026; SCI.... Soc. 19 (1988) 295-298. [MR 89e:03088; Z 661.54007; SCI.... Math. 56 (1988) 211-220. [MR 90d:03111; Z 677.28001.] 5 1989... Algebra (ed. J.D.Monk), NorthHolland, 1989. [MR 90k:06004; Z 671.06001; SCI... Logic 54 (1989) 708-718. [MR 90i:03050; Z 686.03021.] 1990.... Modena 38 (1990) 17-38. [MR 92c:54032; Z 772.54030; SCI... operation’, Mathematika 37 (1990) 9-20. [MR 91i:04003, Z 696.04003.] 1991.... Soc. 109 (1991) 149-160. [MR 91i:03094; Z 719.54002.] ‘On...’, Fundamenta Math. 139 (1991) 9-15. [MR 93b:28007; Z 769.28002.] ‘Covering...’, Mathematika 38 (1991) 329-333. [MR 93f:28002; Z 731.28003; SCI...., 1993 (Israel Mathematical Conference Proceedings 6). [MR 95f:03084; SCI 1996.] ‘The... Matematica 11 (1991) 177-214. [MR 95e:06006; Z 799.06004; SCI... Logic 58 (1993) 435-455. [MR 94h:03101; Z 782.03026.] (with... K-analytic spaces’, Mathematika 40 (1993) 1-6. [MR 94m:54092; Z 780.54036.] 1994... J. Math. 38 (1994) 127-147. [MR 94k:46083; Z 790.28004; SCI.... Soc. (2) 49 (1994) 150-162. [MR 95c:28012; Z 0804.28008.] ‘The... J. Math. 38 (1994) 471-479. [MR 95d:28105; Z 797.28006.] ‘Integration.... Modena 52 (1994) 205-211. [MR 95e:28006; Z 0821.28006.] ‘Sequential.... Carolinae 35 (1994) 371-382. [MR 96b:54005; Z 0827.54002; SCI... J. Math. 39 (1995) 39-67. [MR 95j:28008; Z 0810.28006.] (with.... Math. 147 (1995) 27-37. [MR 96e:28003; Z 0843.28005.] 1996.... Soc. 124 (1996) 2897-2903. [MR 96k:54062; Z 0857.54036.] 1997.... Soc. (3) 74 (1997) 701-720. [MR 97m:54059; Z 0949.54050.] (book.... Math. 154 (1997) 295-304. [MR 99d:28019; Z 0894.28007.] 1999... Math. 165 (2000) 67-94. [MR 2002c:28021; Z 01548923.] (with T.Natkaniec... Math. 165 (2000) 239-247. [MR 2002b:54006; Z 0959.54010.] (with...’, Mathematika 46 (1999) 331-336. [MR 2002f:28004.] 2002 ‘Sets determined...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.2/5
.... Mat. 33 (1969), 251–322; MR 40 #5680]; generalizations of their... (1971), no. 3(159), 199–200; MR 47 #293; Izv. Akad. Nauk.... Mat. 38 (1974), 800–834; MR 51 #5685], Wilson [Bull. Amer.... Soc. 75 (1969), 987–991; MR 42 #3135; J. Algebra 40 (1976), no. 2, 418–465; MR 54 #366] and G. Y. Shen [Chinese.... Ser. B 4 (1983), no. 3, 329–346; MR 85k:17010]; Kac’s Recognition Theorem.... Mat. 34 (1970), 385– 408; MR 43 #2033] and its reworking... Math. (2) 90 (1969), 433–459; MR 40 #4319] of the differentiably... 53 (1978), no. 2, 344–361; MR 80b:17011; Bull. Amer. Results from.... 84 (1978), no. 1, 127–130; MR 81f:14027] on graded Lie... 114 (1988), no. 1, 115–259; MR 89e:17014] of the restricted.... (2) 130 (1989), no. 3, 643–677; MR 91a:17023; Part II, J. Algebra 151 (1992), no. 2, 425–475; MR 93j:17042; Part III, Ann.... (2) 133 (1991), no. 3, 577–604; MR 92g:17024; Part IV, Ann... Math. (2) 138 (1993), no. 1, 1–59; MR 94k:17039; Part V, Abh. Math.... Hamburg 64 (1994), 167–202; MR 95h:17023]. The Block-Wilson.... 341 (1994), no. 1, 227–252; MR 94c:17035] to show that... (1990), no. 11, 3633–3638; MR 91f:17015] and in full.... 234 (1977), no. 2, 435– 446; MR 58 #806] for p > 7 and by... 167 (1994), no. 3, 641-703; MR 95f:17019] for p = 7. Premet also... 19 (1991), no. 4, 1281–1312; MR 92d:17004] has developed a structural... (1976), 68–76 [English transl.] MR 54:1035b MR0422366 (54 #10356... 53 (1978), 344–361. MR0502633 (80b:17011) B.Yu. Weisfeiler, On subalgebras...



Дата загрузки: 2016-12-29
Скачать документ
Скачать текст
0.58/5
.... Dissertationes, 16:71 pp., 1978. MR 80b:35065. 2. P. Neittaanmäki. Dirichletsche und.... Ser. A I Math., 5:227–236, 1980. MR 82m:35044. 3. P. Neittaanmäki and.... Anal. Optim., 2:267–285, 1980. MR 82b:78006. 4. P. Neittaanmäki and.... Anal. Optim., 2:487–506, 1980. MR 82b:78005. 5. P. Neittaanmäki and.... Math. Appl., 7:127–138, 1981. MR 82g:76031. 6. P. Neittaanmäki and... Anal., 12:73–83, 1981. MR 82h:65085. 8. P. Neittaanmäki and... Sect. A, 89:125–133, 1981. MR 82h:65070. 9. P. Neittaanmäki and... Appl. Sci., 3:328–335, 1981. MR 83e:65193. 10. P. Neittaanmäki.... Math., 37:333–337, 1981. MR 82h:65086. 11. P. Neittaanmäki.... BIT, 21:342– 346, 1981. MR 82m:65092. 12. P. Neittaanmäki....-Math., 52:14 pp., 1982. MR 83m:35041. 15. P. Neittaanmäki...äskylä Math. Inst. 24, 1981. MR 84a:65091. 4. J. Haslinger and P. Neittaanm.... Dissertationes, 16:71 pp., 1978. MR 80b:35065. H Patents and invention disclosures...



Дата загрузки: 2016-12-28
Скачать документ
Скачать текст
0.53/5
.... Soc. 13 (1962) 298–304, MR 25 # 1484, Zbl. 107.37702... York J. Math. 6 (2000) 119–133, MR 2001g:51017, Zbl. 1065.51501..., Math. Nachr. 1 (1948) 258–276, MR 10,561c, Zbl. 30.40804....-Phys. Semesterber. 1 (1949) 77–88, MR 13,767f, Zbl. 31.25702..., Math. Z. 87 (1965) 27–31, MR 30 #4173, Zbl. 128.15401..., 2. Aufl., Springer-Verlag, Berlin, 1973, MR 49 #11368, Zbl. 254.50001.... Monthly 109 (2002) 151–164, MR 2003d:51015, Zbl. 1026.51014..., Verlag Birkhäuser, Basel, 1952, MR 14,677a, Zbl. 46.37806... Theory, Wiley, New York, 2004, MR 2006a:12001, Zbl. 1057.12002.... Math. 27 (1965) 622–629, MR 32 #2316, Zbl. 221.02042.... Systems Theory 1 (1967) 183–195, MR 37 #72, Zbl. 202.00802..., New York, 1973, pp. 2–15, MR 56 #7288, Zbl. 284.68011... York, 1993 (German edition 1983), MR 85d:03024, Zbl. 515.03001.... Gaz. 37 (1953) 203–205, MR 15,340c. [29] H.G. Forder, Gauge... 9 (5) (1965) 12–17 (in Russian), MR 33 #1786, Zbl. 0141.18201.... Mag. 68 (1995) 357–371, MR 96m:51024, Zbl. 860.51013... (1948) 757–759 (in Russian), MR 10,57e. [34] M.V. Giršovi...) (1963) 30–38 (in Russian), MR 27 #6172. [35] M.V. Giršovi... (1963) 39–52 (in Russian), MR 27 #6171. [36] M. Grochowska, Euclidean... Math. 17 (1984) 593–607, MR 87g:51026, Zbl. 589.51002....-Nat. Kl. S.-B. (1959) 251–261, MR 22 #5930, Zbl. 93.33404..., Can. J. Math. 8 (1956) 389–394, MR #17,1234c, Zbl. 72.38201..., Springer-Verlag, New York, 2000, MR 2001h:51001, Zbl. 954.51001... Hamburg 10 (1979) 531–551, MR 81d:51008b, Zbl. 439.51004... (1981) 287–299; 299a–299d, MR 83h:51036a; 83h:51036b, Zbl... Theory, Van Gorcum, Assen, 1956, MR # 18,501c, Zbl. 71.36401..., Note Mat. 22 (2003) 1–15, MR 2005g:51027, Zbl. 1098.51017... Problems, Birkhäuser, Boston, 1986, MR 88e:01010, Zbl. 588.01002... Appl. Logic 102 (2000) 1–26, MR 2000m:03030, Zbl. 939.03069.... Logic 124 (2003) 49–70, MR 2004g:03104, Zbl 1034.03010.... Logic 95 (1998) 229–255, MR 2000b:03035, Zbl. 922.03082..., Springer-Verlag, New York, 1998, MR 98j:51032, Zbl. 890.51015..., Amsterdam, 1982, pp. 153–175, MR 85d:03112, Zbl. 541.03034... Type Theory, Bibliopolis, Napoli, 1984, MR 86j:03005, Zbl. 571.03030.... A 1 (1982) 22–27 (in Russian), MR 83j:51030, Zbl. 486.51016.... Math. 20 (1968) 143–152, MR 37 #4699, Zbl. 183.24902.... Symbolic Logic 4 (1998) 418–435, MR 2000c:03043, Zbl. 934.03072..., Cambridge University Press, Cambridge, 2001, MR 2002g:03005. [72] N.M. Nestorovitsch, Sur... (1949) 1047–1050 (in Russian), MR 11,50f. [75] N.M. Nestoroviˇc, On... (1949) 731–734 (in Russian), MR 11,533e, Zbl. 36.10202...., Moscow, Leningrad, 1951 (in Russian), MR 13,969h, Zbl. 45.10102.... Math. 14 (1951) 101–102, MR 13,861f, Zbl. 0044.15806... Quarterly 39 (1993) 393–402, MR 96a:03069, Zbl. 799.03071... Quarterly 40 (1994) 76–86, MR 96a:03070, Zbl. 799.03072... Quarterly 40 (1994) 455–477, MR 96a:03071, Zbl. 808.03045... Quarterly 41 (1995) 384–394, MR 96m:03039, Zbl. 828.03032.... Univ. Hamburg 68 (1998) 7–16, MR 2000a:03023, Zbl. 959.03052... Quarterly 46 (2000) 45–48, MR 2000k:03145, Zbl. 943.03052... Quarterly 47 (2001) 129– 136, MR 2002a:03123, Zbl. 0971.03063... Quarterly 47 (2001) 475–488, MR 2002k:03018, Zbl. 1003.03052.... Math. 49 (2001) 319–326, MR 2002g:51019, Zbl. 0993.51006.... Jpn. 53 (2001) 361–400, MR 2002f:51026, Zbl. 0995.51005.... 51 (2003) (2001) 49–57, MR 2004f:03105, Zbl. 1036.03051.... Debrecen 65 (2004) 81–95, MR 2006b:51013, Zbl. 1061.51013... Logica 77 (2004) 385–411, MR 2005g:03010, Zbl. 1069.03007... Logica 81 (2005) 387–398, MR 2006h:03054, Zbl. 1086.03007.... Ann. 143 (1961) 212–235, MR 25 #4393, Zbl. 109.39001.... Math. 246 (1978) 481–488, MR 80b:03039, Zbl. 408.03028. [98..., Princeton University Press, Princeton, 1970, MR 42 #4359, Zbl. 229.01002.... Nachr. 25 (1963) 151–158, MR 28 #509, Zbl. 173.48202.... J. Math. 20 (1968) 158–181, MR 36 #4416, Zbl. 159.21703..., Math. Chronicle 4 (1975) 13–44, MR 58 #23964, Zbl. 314.50003... Algebra, North-Holland, Amsterdam, 1963, MR 27 #3533, Zbl. 118.25302...) 170–185, 188 (in Norwegian), MR 2000a:51024, Zbl. 922.51009..., J. Geom. 12 (1979) 152–167, MR 80b:51006, Zbl. 398.51005. [107..., Expo. Math. 3 (1985) 285–288, MR 88a:51022, Zbl. 566.51018... Verlag der Wissenschaften, Berlin, 1975, MR 58 #30726, Zbl. 297.50003... Verlag der Wissenschaften, Berlin, 1984, MR 86e:51028, Zbl. 0534.51001..., Ferdinand Schöningh, Paderborn, 1984, MR 86k:51002, Zbl. 586.51016... Institut Wiss.-Verlag, Mannheim, 1992, MR 93h:51003, Zbl. 754.51004... Geometrie, Springer-Verlag, Berlin, 1983, MR 85e:03004, Zbl. 564.51001... konstruktive Geometrie, Hochschulverlag, Stuttgart, 1978, MR 82b:03034, Zbl. 404.03054...) (1963) 149–152 (in Russian), MR 27 #1866, Zbl. 135.20902...., Moscow, Leningrad, 1951 (in Russian), MR 14,575e, Zbl. 45.10101..., J. Geom. 24 (1984) 62–73, MR 86i:51009, Zbl. 552.51012.... (Basel) 13 (1962) 147–149, MR 26 #1778, Zbl. 106.14403..., Amsterdam, 1959, pp. 16–29, MR 21 #4919, Zbl. 92.38504...., Oxford University Press, Oxford, 1994, MR 96d:03001, Zbl. 796.03001.... Symbolic Logic 5 (1999) 175–214, MR 2001k:03019, Zbl. 932.01031... I, Math. Z. 46 (1940) 190–203, MR 2,152a, Zbl. 23.15501. [135...ös Sect. Math. 7 (1964) 99–107, MR 30 #5195, Zbl. 127.11601.... Dedicata 38 (1991) 137–150, MR 92b:51031, Zbl. 722.51017.



Дата загрузки: 2017-05-20
Скачать документ
Скачать текст
0.12/5
..., Berlin, Heidelberg, New York (1985). MR 86k:03055 2. Bellin, G., Ramsey interpreted.... Math. Soc., Providence, RI (1990). MR 91i:03106 License or copyright... 50 pp. 652–660 (1985). MR 87c:03139 4. Borwein, J., Reich, S., Shafrir.... 35, pp. 21-28 (1992). MR 93e:47072 5. Bridson, M.R., Haefliger, A., Metric... curvature. Springer Verlag, Berlin (1999). MR 2000k:53038 6. Browder, F.E., Petryshyn, W.V., The.... 72, pp. 571-575 (1966). MR 32:8155b 7. Bruhat, F., Tits, J., Groupes.... Math. 41, pp. 5-251 (1972). MR 48:6265 8. Delzell, C., Kreisel’s unwinding.... 17, pp. 547-554 (1978). MR 80b:47074 10. Friedrich, W., Spielquantorinterpretation unstetiger... 24, pp. 73-99 (1984). MR 86c:03052 11. Friedrich, W., G¨ odelsche.... d. Math. 31, pp. 3-29 (1985). MR 87b:03132 12. Goebel, K., Kirk..., AMS, pp. 115-123 (1983). MR 85a:47059 13. Goebel, K., Reich... York, ix+170 pp. (1984). MR 86d:58012 ¨ 14. G¨ odel, K., Uber... 12, pp. 280–287 (1958). MR 21:1275 15. G¨ odel, K., Collected... University Press, New York (1990). MR 91b:01093 16. Groetsch, C.W., A note.... 40, pp. 369-372 (1972). MR 49:5954 17. Henson, C.W., Iovino...-461. Springer LNM 344 (1973). MR 57:9493 19. Howard, W.A., Kreisel... 31, pp. 325-358 (1966). MR 35:27 20. Ishikawa, S., Fixed.... 59, pp. 65-71 (1976). MR 54:1030 21. Itoh, S., Some.... 102, pp. 109-117 (1979). MR 80h:54058 22. Kirk, W.A., Krasnosel... Optimiz. 4, pp. 371-381 (1982). MR 84e:47067 23. Kirk, W.A., Nonexpansive..., 40, pp. 323-332 (2000). MR 2001m:47116 24. Kirk, W.A., Geodesic... 51, pp. 189-193 (1990). MR 92a:47068 26. Kohlenbach, U., Theorie... 31, pp. 227-241 (1992). MR 93b:03106 28. Kohlenbach, U., Effective... 64, pp. 27–94 (1993). MR 95b:03061 License or copyright.... 14, pp. 581–606 (1993). MR 94k:41054 30. Kohlenbach, U., Analysing...–260, Oxford University Press (1996). MR 98b:03085 31. Kohlenbach, U., Mathematically... 36, pp. 31–71 (1996). MR 98h:03073 32. Kohlenbach, U., Arithmetizing... 12, pp. 115-158 (1998). MR 2000j:03085 33. Kohlenbach, U., A note... 40, pp. 89-92 (2001). MR 2001m:03121 34. Kohlenbach, U., On... 2064, pp. 119-145 (2001). MR 2003b:47090 35. Kohlenbach, U., A quantitative.... 22, pp. 641-656 (2001). MR 2002i:47076 36. Kohlenbach, U., Uniform..., pp. 123-127 (1955) (Russian). MR 16:833a 41. Kreisel, G., Finiteness... (Amsterdam), pp. 39-55 (1982). MR 86b:03076 42. Kreisel, G., Proof... 203, pp. 136-150 (1986). MR 87e:03156 43. Kreisel, G., Macintyre... (Amsterdam), pp. 217-260 (1982). MR 85j:03108 44. Luckhardt, H., Extensional... Notes in Mathematics 306 (1973). MR 49:2281 45. Luckhardt, H., Herbrand... 54, pp. 234-263 (1989). MR 90k:03056 46. Luckhardt, H., Bounds.... 25, pp. 307-320 (1973). MR 48:4703 48. Mann, W.R., Mean.... Soc. 4, pp. 506-510 (1953). MR 14:988f 49. Reich, S., Shafrir... 15, pp. 537-558 (1990). MR 91k:47135 50. Reich, S., Zaslavski... Publishers, pp. 557-576 (2001). MR 2003e:54048 51. Simpson, S.G., Subsystems...-Verlag. xiv+445 pp. (1999). MR 2001i:03126 52. Spector, C., Provably....)), AMS, Providence, R.I., pp. 1–27 (1962). MR 27:4745 License or copyright.... 22, pp. 142-149 (1970). MR 42:2467 54. Troelstra, A.S. (ed... Notes in Mathematics 344 (1973). MR 48:3699 55. Weidmann, J., Linear... 68, xii+402 pp. (1980). MR 81e:47001 Department of Computer...