Formal Systems

关于 Formal Systems 书籍列表

• 

  A Preface to Logic

  阅读量：1
  ISBN：9780486235172
  发布时间：2025-05-08 01:38:43

• 

  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

• 

  Three Views of Logic: Mathematics, Philosophy, and Computer Science

  阅读量：0
  ISBN：9780691160443
  发布时间：2025-05-16 23:17:57

• 

  Pictorial and formal aspects of shape and shape grammars (ISR, Interdisciplinary systems research)

  阅读量：0
  ISBN：9783764308032
  发布时间：2025-05-17 00:05:44

• 

  Logic in Computer Science

  阅读量：0
  ISBN：9780521543101
  发布时间：2025-05-20 17:44:07

• 

  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

• 

  Mathematical Interpretation of Formal Systems

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