• RecordNumber
    22483
  • Author

    Gill, R.R. Rockingham

  • Title

    Deducibility and decidability

  • Author Statement
    R.R. Rockingham Gill
  • Publication
    Routledge
  • Publication Year
    [c1990]
  • Collation
    viii, 162p
  • Bibliography
    Bibliography: p. 150-155
  • Subject

    Logic, Symbolic and mathematical , Decidability (Mathematical logic)

  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    G475d
  • وارد كنندة اطلاعات
    fazel^d// , alipour^d2003/07/19 09:34:23
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=22483&Field=0&DTC=2