Computer reconstruction of the body of mathematics
By: guest editors, Adam Grabowski, Adam Naumowicz
Series: Studies in logic, grammar and rhetoric -- 18 = 31
Publisher: University of Białystok
Published: 2009
Place of publication: Białystok
Language: eng
Number of pages: 153
ISBN-13: 9788374312295
Subjects: Mathematics; Data processing
Notes: Includes bibliographical references.