An introduction to substructural logics

書誌事項

An introduction to substructural logics

Greg Restall

Routledge, 2000

  • : hbk
  • : pbk

大学図書館所蔵 件 / 20

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [349]-364) and index

HTTP:URL=http://www.loc.gov/catdir/enhancements/fy0650/99015946-d.html Information=Publisher description

内容説明・目次

内容説明

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BA45117773
  • ISBN
    • 9780415215336
    • 9780415215343
  • LCCN
    99015946
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Abingdon
  • ページ数/冊数
    xiv, 381 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
ページトップへ