Cut elimination in categories

Author(s)

• Došen, Kosta

Bibliographic Information

Cut elimination in categories

Kosta Dosen

（Trends in logic : studia logica library, v. 6）

Kluwer Academic, c1999

Note

Includes bibliographical references and index

Details

• NCID: BA42139419
• ISBN:
  • 0792357205
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: xii, 229 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA32227531