Title: Proceedings of the semicentennial celebration of the Rensselaer polytechnic institute, Troy, N.Y., held June 1418, 1874,