1. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
2. Beyond first order model theory
پدیدآورنده : edited by Jose Iovino
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49