21. Predicate calculus and program semantics

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics

رده :
QA
9
.
35
.
D55
1989

22. Propositional and predicate calculu

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Propositional calculus--Problems, exercises, etc,Predicate calculus--Problems, exercises, etc

رده :
QA
,
9
.
3
,.
G65
,
2005

23. #Propositional and predicate calculus

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Propositional calculus ،Predicate calculus

رده :
#
QA
،#.
G65
،#
2005

24. Propositional and predicate calculus

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;

25. Propositional and predicate calculus: a model of argument

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc

رده :
511
.
3
G621P
2005

26. Subsystems of second order arithmetic

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus

رده :
QA
9
.
7
.
S55S8
2009

27. Subsystems of second order arithmetic

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Predicate calculus

رده :
E-BOOK

28. Subsystems of second order arithmetic

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus

رده :
QA
9
.
35
.
S55

29. Tableau systems for first order number theory and certain higher order theories

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Proof theory,، Number theory,، Predicate calculus

رده :
QA
3
.
L28
no
.
447

30. Tableau systems for first order number theory and certain higher order theories

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Proof theory,، Numbers, Theory of,، Predicate calculus

رده :
QA
3
.
L28
no
.
447

31. Tableau systems for first order number theory and certain higher order theories

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Proof theory,، Number theory,، Predicate calculus

رده :
QA
1
.
L4
v
.
447

32. Tableau systems for first order number theory and certain higher order theories

المؤلف:

المکتبة: (طهران)

موضوع: ، Proof theory,، Number theory,، Predicate calculus

رده :
QA
3
.
L28
Vol
.
447

33. Tableau systems for first order number theory and certain higher order theories

المؤلف:

المکتبة: (طهران)

موضوع: Proof theory,Number theory,Predicate calculus

رده :
QA
9
.
54
.
T6
1975

34. Technical methods in philosophy /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)

رده :
BC135
.
P683
1990

35. The computational complexity of logical theories

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718

36. The computational complexity of logical theories

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718

37. The computational complexity of logical theories

المؤلف:

المکتبة: (طهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
Vol
.
718

38. The computational complexity of logical theories

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
1
.
L4
v
.
718

39. The computational complexity of logical theories

المؤلف:

المکتبة: (طهران)

موضوع: Predicate calculus,Computational complexity

رده :
QA
9
.
35
.
F4
1979

40. Two papers on the predicate calculus

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Predicate calculus.