Advances in natural deduction : a celebration in Dag Prawitz's work

Author(s)

• Pereira, Luiz Carlos Bresser
• Haeusler, Edward Hermann
• De Paiva, Valeria

Bibliographic Information

Advances in natural deduction : a celebration in Dag Prawitz's work

Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors

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

Springer, c2014

Note

Includes bibliographical references

Also issued online

Details

• NCID: BB1674720X
• ISBN:
  • 9789400775473
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xvi, 279 p.
• Size: 25 cm
• Classification:
  • DC23 : 160
• Subject Headings:
  • LCSH : Logic -- Congresses
  • FREE : Natural deduction
  • FREE : Prawitz
• Parent Bibliography ID:
  • BA32227531