Математика Wqo and Bqo theory in subsystems of secord order arithmetic Автор: Marcone Alberto , Simpson Stephen G. Серия: Lecture Notes in Logic Год: 2003 полная версия Wqo and Bqo theory in subsystems of secord order... Admin 1 Авг 26
