Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.) \ Введение в логику первого порядка (Дж. Барвайс) \ Что и как можно выразить в логике первого порядка \
 

9.6.2.8.1.1.2.1. Теория групп

 
Начало см. здесь.
Барвайс Дж.
Введение в логику первого порядка.
В книге: Справочная книга по математической логике.
Часть I. Теория моделей (под ред. Дж. Барвайса).
М.: Наука, 1982, cc. 15 — 17.
  К началу данной страницы  
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Учебники и монографии по математической логике \ Справочная книга по математической логике. Часть I. Теория моделей (под ред. Дж. Барвайса, 1982 г.) \ Введение в логику первого порядка (Дж. Барвайс) \ Что и как можно выразить в логике первого порядка \