1.

کتابخانه: Library of Islamic Parliament (Tehran)

2. Intuitionistic logic, modlel theory and forcing

پدیدآورنده :

کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)

موضوع : Model theory,Axiomatic set theory

رده :
511
.
8
F547

3. Proof methods for modal and intuitionistic logics

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.

رده :
QA9
.
54
M458
2010