• RecordNumber
    28475
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.
  • LC Date
    447
  • Dewey Class
    510
  • Dewey CutterNumber
    /.8 s 511
  • Dewey Date
    /.3
  • Author

    Toledo, Sue Ann, 1940-

  • Title

    Tableau systems for first order number theory and certain higher order theories

  • Author Statement
    Sue Toledo
  • Publication
    Springer-Verlag
  • Collation
    339 p. ; 25 cm
  • Series
    Lecture notes in mathematics ; 447
  • Subject

    Proof theory,Number theory,Predicate calculus

  • Holding Info.
    0387071490
  • DocumentNumber
    7839
  • Biblography
    Bibliography: p. [335]-339.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=28475&Field=0&DTC=100