• RecordNumber
    12780
  • Author

    Dragalin, Albert Grigorevich

  • Title

    Mathematical intuitionism; introduction 10 proof theory

  • Author Statement
    A. G. Dragalin
  • Publication
    American Mathematical Society
  • Publication Year
    [c1988]
  • Collation
    ix, 228p
  • Series
    Translation of mathematical monographs, v.67
  • Bibliography
    Bibliography:P. 201- 216
  • Subject

    Logic, symbolic and mathematical

  • ADDED ENTRIES
    ^dSeries: Translations of mathematical morographs, v. 67
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    D759m
  • وارد كنندة اطلاعات
    bahrami 1108^d//