The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
(4) Thought and Things, or Genetic Logic. By James Mark Baldwin. Vol. i. Functional Logic, or Genetic Theory of Knowledge. Pp. xiv + 273. (London: Swan Sonnenschein ...
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. We show that a set of ordinals is ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果