Model (matematik mantiq)

Matematik mantiqda model — muayyan aksiomalar sistemasining modelli obyektlari boʻlib, xossalari va ular oʻrtasidagi munosabatlar muayyan aksiomalarni qanoatlantiradi.OʻzME. Birinchi jild. Toshkent, 2000-yil
 Manbalar