Concepts of proof in mathematics, philosophy, and computer science

著者

    • Probst, Dieter
    • Schuster, Peter

書誌事項

Concepts of proof in mathematics, philosophy, and computer science

edited by Dieter Probst and Peter Schuster

(Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.], v. 6)

De Gruyter, c2016

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ