"Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings " - читать интересную книгу автора (J.Paul Jr. Myers, Michael J. O'Donnell)