Why is this a proof? : Festschrift for Luiz Carlos Pereira

著者

• Haeusler, Edward Hermann
• De Campos Sanz, Wagner‏
• Lopes, Bruno

書誌事項

Why is this a proof? : Festschrift for Luiz Carlos Pereira

edited by Edward Hermann Haeusler, Wagner de Campos Sanz and Bruno Lopes

（Tributes, v. 27）

College Publications, c2015

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BC16733858
• ISBN:
  • 9781848901728
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [London]
• ページ数/冊数: vi, 238 p.
• 大きさ: 24 cm
• 件名:
  • LCSH : Pereira, Luiz Carlos
  • LCSH : Proof theory
• 親書誌ID:
  • BB10372669