登录 注册

农夫的读书主页

在读   · · ·  ( 24本 )

  • The Roots of Reference
  • Outlines of a Formalist Philosophy of Mathematics (Study in Logic & Mathematics)
  • Lambda-Calculus and Combinators
  • The Proper Treatment of Events
  • Inquiries into Truth and Interpretation

读过   · · ·  ( 54本 )

  • 坂田荣男围棋全集（共12册）
  • Ontology, Identity And Modality
  • An Introduction to the Philosophy of Language (Cambridge Introductions to Philosophy)
  • Introduction to Montague Semantics (Synthese Language Library)
  • 自然语言理解
  • Computational Semantics with Functional Programming
  • Arithmetic and Ontology
  • 语词和对象
  • Truth & Predication
  • 真实世界的Haskell

想读   · · ·  ( 66本 )

  • Sense and Sensitivity
  • Combinatory logic (Studies in logic and the foundations of mathematics)
  • Foundations of Mathematical Logic
  • Ontological Semantics
  • The Structure of Appearance
  • Metaphysics
  • The Revision Theory of Truth
  • Context and Content
  • Handbook of Knowledge Representation
  • Topology

农夫的推荐   · · ·  (2个)

  • 推荐豆列mathematics and logic  2011-11-10 05:38
  • Dynamic Epistemic Logic 推荐Dynamic Epistemic Logic  2011-11-09 00:16
    Van Ditmarsch, Hans/ Van Der Hoek, Wiebe/ Kooi, Barteld / Springer Verlag
    不可不读，知识论是逻辑核心。

农夫关注的人  · · ·  ( 全部18 )

枫林仙
枫林仙
小白兔吃猫饼干
小白兔吃猫饼干
刍狗
刍狗
Courser
Courser
木遥
木遥
jiajia
jiajia
Alex
Alex
whig
whig
半缘君
半缘君
宋先生
宋先生
面包饿了
面包饿了
FTS.
FTS.

最近阅读   · · · 

农夫的图书豆列   · · ·  ( 3个 )