Author(s): Гильберт Д., Бернайс П.
Publisher: Наука
Year: 1979
Language: Russian
Tags: Математика;Математическая логика;Теория доказательств;