61. Beyond first order model theory
Author: \ edited by Jose Iovino.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
Classification :
QA9
.
7
.
I587
2017
E-book
,
62. Bibliography of mathematical logic
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,Symbolic and mathematical-Bibliography
Classification :
016
.
5113
R
63. Categorical Topology
Author: edited by Eraldo Giuli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
64. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
65. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
66. Communication: a logical model
Author: Harrah, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Content analysis )Communication(,، Information theory
Classification :
BC
135
.
H33
67. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
68. Computer science logic :
Author: Hans Kleine Büning (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA75
.
5
H367
1996
69. Continuous model theory
Author: Chang, Chen Chung
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
A626
no
.
58
70. Continuous model theory
Author: / by Chen Chung Chang, H. Jerome Keisler
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
C48
71. Course of mathematical logic
Author: Fraisse, Roland.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
F6513
72. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
73. Decision Criteria and Optimal Inventory Processes
Author: by Baoding Liu, Augustine O. Esogbue.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Distribution (Probability theory),Economics.,Logic, Symbolic and mathematical.
Classification :
T57
.
6
B933
1999
74. Distributed Fuzzy Control of Multivariable Systems
Author: by Alexander Gegov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Systems theory.
75. Elementary end extensions in model theory and set theory
Author: by: Shahram Mohsenipour,^AMohsenipour, Shahram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Model theory,Set theory
76. Elements of mathematical logic ; model theory
Author: Kreisel, Georg
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematical models
Classification :
QA
9
.
K772
1971
77. Entity-Relationship Approach - ER '93 :
Author: edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
78. Feferman on foundations :
Author: Gerhard Jäger, Wilfried Sieg, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
Classification :
QA9
.
2
79. Formal Grammar 2018 :
Author: Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
Classification :
P98
.
I58
2018eb
80. Foundations of Logic Programming
Author: by John Wylie Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B956
1984
