61. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
62. Recursire functionals
پدیدآورنده : by Luis E. Sanchis
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Recursive functions
63. Recursive function theory
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Recursive functions
رده :
QA
1
.
P7
Vol
.
5
64. Recursive function theory ]Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Recursive functions
رده :
QA
248
.
5
.
S9
1961
65. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
66. #Recursive function theory and logic
پدیدآورنده :
موضوع : Recursive functions ،Logic symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
67. Recursive functionals
پدیدآورنده : / Luis E. Sanchis
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Recursive functions.
رده :
QA
,
9
.
615
,.
S26
,
1992
68. Recursive functionals
پدیدآورنده : Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions
رده :
QA
9
.
615
.
S26
1992
69. Recursive functionals
پدیدآورنده : Sanchis, Luis E.
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
9
.
615
.
S26
70. Recursive functionals
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Recursive functions. ;
71. #Recursive functions
پدیدآورنده : #]Translated by Istvan Foldes[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Recursive functions
رده :
#
QA
،#.
P413
،#
1967
72. Recursive functions
پدیدآورنده :
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
73. Recursive functions and metamathematics :
پدیدآورنده : Roman Murawski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Gödel's theorem.,Recursive functions.
74. Recursive macroeconomic theory
پدیدآورنده : Ljungqvist, Lars.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2000
75. Recursive macroeconomic theory
پدیدآورنده : Ljungqvist, Lars.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2004
76. Recursive macroeconomic theory
پدیدآورنده : Lars Ljungqvist, Thomas J. Sargent
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Macroeconomics,Recursive functions,Statics and dynamics (social sciences)
رده :
HB
172
.
5
.
L59
2000
77. Recursive macroeconomic theory
پدیدآورنده : Ljungqvist, Lars.
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : ، Macroeconomics,، Recursive functions,، Statics and Dynamics )Social Sceince(
رده :
HB
172
.
5
.
L5R4
2004
78. Recursive macroeconomic theory
پدیدآورنده : Ljungqvist, Lars
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Macroeconomics,، Recursive functions,، Statics and dynamics )Social sciences(
رده :
HB
172
.
5
.
L59
2004
79. Recursive macroeconomic theory /
پدیدآورنده : Lars Ljungqvist, Thomas J. Sargent.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Macroeconomics.,Recursive functions.,Statics and dynamics (Social sciences)
رده :
HB172
.
5
.
L59
2000
80. Recursive macroeconomic theory
پدیدآورنده : / Lars Ljungqvist, Thomas J. Sargent
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Macroeconomics,Recursive functions,Statics and dynamics (Social sciences)
رده :
HB172
.
5
.
L59
2004
