41. Cabal seminar 79-81 : proceedings, Caltech - UCLA Logic Seminat 1979-1981
Author: edited by A. S. Kechris, D. A. Martin and Y. N. Moschovakis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Set theory,Congresses ، Recursion theory
Classification :
QA
3
.
L28
Vol
.
1019
42. Classical recursion theory
Author: Odifreddi, Piergiorgio,1950-
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Recursion theory
Classification :
9
.
6
.
O35
43. Classical recursion theory: the theory of functions and sets of natural numbers
Author: Odifreddi, Piergiorgio
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
O35
1989
44. Classical recursion theory : the theory of functions and sets of natural numbers
Author: / Piergiorgio Odifreddi
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursion theory
Classification :
QA9
.
6
.
O35
1989
45. Classical recursion theory : the theory of functions and sets of natural numbers
Author: Piergiorgio Odifreddi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory
Classification :
QA
9
.
6
.
O35
1989
46. Complexity, logic, and recursion theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity. ; Recursion theory. ;
47. Computability
Author: / Nigel Cutland
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computable functions,Recursion theory
Classification :
QA
9
.
59
.
C87
1980
48. Computability, an introduction to recursive function theory
Author: Cutland, Nigel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computable functions,، Recursion theory
Classification :
QA
9
.
59
.
C87
1980
49. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
50. Computability, an introduction to recursive function theory /
Author: Nigel Cutland
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
51. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
52. Computability, an introduction to recursive function theory
Author: Cutland, Nigel.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computable functions,، Recursion theory
Classification :
QA
9
.
59
.
C87
53. Computability : an introduction to recursive function theory
Author: Nigel Cutland
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computable functions,، Recursion theory,، Recursive functions
Classification :
QA
9
.
59
.
C87
1980
54. Computability, an introduction to recursive function theory
Author: / Nigel Cutland
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computable functions,Recursion theory
Classification :
QA9
.
59
.
C87
55. Computability; an introduction to reeursive function theory
Author: Cutland, Nigel
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computable functions ► Recursion theory
Classification :
519
C989c
56. Computability; an introduction to reeursive function theory
Author: Cutland, Nigel
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computable functions ► Recursion theory
Classification :
519
C989c
57. Computability in combinatory spaces
Author: / by Dimiter G. Skordev
Library: Library of College of Science University of Tehran (Tehran)
Subject: Recursion theory,Combinatory logic
Classification :
QA
9
.
6
.
S55
1992
58. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
Author: by Dimiter G. Skordev
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Recursion theory,، Combinatory logic
Classification :
QA
9
.
6
.
S56
59. Computability in combinatory spaces: an algebraic generalization of abstract first order computability
Author: Skordev, Dimiter Genchev
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Recursion theory,، Comlinatory logic
Classification :
QA
9
.
6
.
S55
1992
60. Computability theory
Author: Herbert B. Enderton
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Recursion theory
Classification :
QA
9
,.
6
.
E52C6
2011
