"Krajzel# G. (_Kreisel_) Issledovanija po teorii dokazatel#stv (NZN-Matematika 23, Mir, 1981)(ru)(L)(T)(144s)_MAml_.djvu" - читать интересную книгу автора