[ Первая страница]		© ВИНИТИ, 1999
Теория моделей		510.67 (УДК)
•	Элиминация кванторов	510.671
•	Категоричные теории	510.672
•	Полные теории	510.673
•	Конструктивные модели	510.674
•	Модели математических теорий	510.675
•	Модели арифметики	510.676
•	Инфинитарные языки	510.677
•	Абстрактная теория моделей	510.678