Title: Sistema printsipov postroeniia deduktivnykh teorii
Subjects: Logic, System theory