Oxford, Basil Blackwell, 1951 (facsimile reprint)/ 1847. With the ownership signature of (Professor) Brian Medlin. George Boole (1815-1864) was an English mathematician 'who helped establish modern symbolic logic and whose algebra of logic, now called Boolean algebra, is basic to the design of digital computer circuits' and internet search patterns...
Cambridge, Macmillan, Barclay and Macmillan, 1845 (second edition, revised and improved)/ 1836. An early Sydney University prize binding, with the handwritten presentation inscription (in Latin) to Henry Colyer, dated 1861 (the University was founded in 1850). For what it's worth, a Henry Cox Colyer was working as a solicitor in Sydney in the 1880s.
Dordrecht, Springer, . Volume 27 in the Studies in History and Philosophy of Science series. 'This book reconstructs key aspects of the early career of Descartes from 1618 to 1633; that is, up through the point of his composing his first system of natural philosophy' (from the publisher's blurb).