Proof-thoretic semantics

Author(s)

    • Francez, Nissim

Bibliographic Information

Proof-thoretic semantics

Nissim Francez

（Studies in logic / series editor, Dov Gabbay, v. 57）

College Publications, c2015

Available at  / 2 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 381-396) and indexes

Related Books： 1-1 of 1

Details

  • NCID
    BB22801569
  • ISBN
    • 9781848901834
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [London]
  • Pages/Volumes
    xx, 415 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top