Introduction to computability logic
- 作者Giorgi Japaridze
- 卷第123卷
- 印刷ISSN0168-0072
- 文件大小717.99KB
- 发表时间2003
- DOI10.1016/s0168-0072(03)00023-x
- 页码1-99
The logic description of the system of embedded hardware logic taskFeng Dan; Zhu Yong; Zhang Jiangling · 2006
Analysis of the logical characteristics of a complementation taskPélissier, Aline; Těte, Alain · International Journal of Psychology · 1994
On the generality of logical recoding in spatial interference tasksUdo Arend; Jens Wandmacher · 1987
ELLERY NUMBER || MODERN LOGIC AND THE TASK OF THE NATURAL SCIENCESHarold N. Lee · Sigma Xi Quarterly · 1940
The EEG during Solution of Mathematical Logical TasksR. A. Pavlygina; V. I. Davydov; D. S. Sakharov; M. V. Tutushkina; A. A. Pryamonosova · 2012
Hierarchy Organization Model Based on the Logic of TasksYu, Cen; Zhou, Wei Jia · Applied Mechanics and Materials · 2013
Influence of music on the solution of mathematical logical tasksR. A. Pavlyugina, N. N. Karamysheva, D. S. Sakharov, V. I. Davydov · 2012
From truth to computability IGiorgi Japaridze · 2006
Toggling operators in computability logicGiorgi Japaridze · 2011
Introduction to computability logicGiorgi Japaridze · 2003
From truth to computability IIGiorgi Japaridze · 2007
Sequential operators in computability logicGiorgi Japaridze · 2008
Introduction to clarithmetic IGiorgi Japaridze · 2011
Introduction to clarithmetic IIIJaparidze, Giorgi · Annals of Pure and Applied Logic · 2014