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

著者

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

書誌事項

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

注記

Includes bibliographical references

Also issued online

詳細情報

• NII書誌ID(NCID): BB1674720X
• ISBN:
  • 9789400775473
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xvi, 279 p.
• 大きさ: 25 cm
• 分類:
  • DC23 : 160
• 件名:
  • LCSH : Logic -- Congresses
  • FREE : Natural deduction
  • FREE : Prawitz
• 親書誌ID:
  • BA32227531