Logic of Determination of Objects: the Meaning of Variable in Quantification
暂无分享,去创建一个
[1] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.
[2] Kit Fine,et al. Reasoning with arbitrary objects , 1988 .
[3] Anca Pascu,et al. Typicality, Contextual Inferences and Object Determination Logic , 2004, FLAIRS Conference.
[4] Anca Vaetus. Logique de la détermination d'objets : concepts de base et mathématisation en vue d'une modélisation-objet , 2001 .
[5] Frederic B. Fitch. Elements of combinatory logic , 1974 .
[6] Jean-Pierre Desclés,et al. Quantification without bound variables , 2000 .
[7] Dirk van Dalen,et al. Logic and structure , 1980 .
[8] William C. Frederick,et al. A Combinatory Logic , 1995 .
[9] R. H.,et al. The Principles of Mathematics , 1903, Nature.
[10] Jean-Pierre Descles. Categorisation: A Logical Approach to a Cognitive problem , 2002 .