1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
Author: Nourani, Cyrus F.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
Classification :
QA
169
.
N68A4
2. Functorial Model Theory :
Author: Cyrus F Nourani
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA169
.
C978
2014
