Computer reconstruction of the body of mathematics
Contributor:Grabowski, Adam (matematyka). Red. ; Naumowicz, Adam. Red.
Date: Subject and Keywords: Relation:Studies in Logic. Grammar and Rethoric 18 (31)
Format: Description: Resource Type: Language: Rights Management: Publisher: Place of publishing: Localization:Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku