Proof Theory

关于 Proof Theory 书籍列表

• 

  Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung

  阅读量：2
  ISBN：9783658098858
  发布时间：2025-05-07 12:01:05

• 

  Language, Proof, and Logic

  阅读量：3
  ISBN：9781575866321
  发布时间：2025-05-08 02:38:39

• 

  An Algebraic Introduction to Mathematical Logic

  阅读量：3
  ISBN：9780387901091
  发布时间：2025-05-08 06:26:35

• 

  Intuition and the Axiomatic Method

  阅读量：0
  ISBN：9789048170197
  发布时间：2025-05-16 23:04:35

• 

  Theorem Proving in Higher Order Logics

  阅读量：0
  ISBN：9783540425250
  发布时间：2025-05-17 03:56:41

• 

  Automated Reasoning

  阅读量：0
  ISBN：9783540223450
  发布时间：2025-05-17 04:06:41

• 

  Mathematical Logic and the Foundations of Mathematics

  阅读量：0
  ISBN：9780486417127
  发布时间：2025-05-20 20:57:32

• 

  Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)

  阅读量：0
  ISBN：9780444863881
  发布时间：2025-05-20 20:57:35

• 

  The collected papers of Gerhard Gentzen (Studies in logic and the foundations of mathematics)

  阅读量：0
  ISBN：9780720422542
  发布时间：2025-05-20 20:57:59

• 

  Proof Theory (Studies in Logic and the Foundations of Mathematics)

  阅读量：0
  ISBN：9780444879431
  发布时间：2025-05-20 20:58:02