Axiomatic thinking

著者

• Ferreira, Fernando
• Kahle, Reinhard
• Sommaruga, Giovanni

書誌事項

Axiomatic thinking

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editors

Springer, c2022

• vol.1

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BC18250185
• ISBN:
  • 9783030776565
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xiv, 205 p.
• 大きさ: 25 cm
• 分類:
  • DC23 : 511.3
  • NDC10 : 410.9
  • NDC10 : 410.96
• 件名:
  • LCSH : Hilbert, David, 1862-1943
  • LCSH : Proof theory
  • LCSH : Logic, Symbolic and mathematical