модель, интерпретация, формальная система, теория

[deep_econom]

модель, интерпретация, формальная система, формальная теория
можно доступно почитать тут почти не обращая внимания на формулы

---
формальные аксиоматические теории
http://mathhelpplanet.com/static.php?p=formalnyye-aksiomaticheskiye-teorii

Обоснование формализации
О формальных аксиоматических теориях
Понятие формальной аксиоматической теории
Язык и метаязык, теоремы и метатеоремы формальной теории
Интерпретации и модели формальной теории
Семантическая выводимость
Метаматематика (свойства формальных аксиоматических теорий)
Формализованное исчисление высказываний как формальная аксиоматическая теория
---

Классификация формул логики предикатов
http://mathhelpplanet.com/static.php?p=formuly-logiki-predikatov

ну и еще там вокруг можно мышкой пощелкать )

ps Что такое логика?
https://deep-econom.livejournal.com/29115.html