Constructivity in Computer Science
Subtitle: Summer Symposium, San Antonio, Tx, June 19-22, 1991, Proceedings (Lecture Notes in Computer Science)
Contributors: M. J. O'Donnell (Editor)
Publisher: Springer
Published: June 1992
Language: eng
Number of pages: 247
ISBN-13: 9780387556314
First sentence: We use formal semantic analysis to generate intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.