Logics and provability

Author(s)

    • 佐々木, 克巳 ササキ, カツミ

Bibliographic Information

Logics and provability

door Katsumi Sasaki

（ILLC dissertation series, DS-2001-07）

Institute for Logic, Language and Computation, Universiteit van Amsterdam, c2001

Available at  / 1 libraries

Search this Book/Journal

Note

Thesis (doctor) -- Universiteit van Amsterdam, 2001

Includes bibliographical references (p. 133-139) and indexes

Related Books： 1-1 of 1

Details

  • NCID
    BB16660790
  • ISBN
    • 905776069X
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Amsterdam
  • Pages/Volumes
    vii, 139 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top