Logic for computer sciencede Jean H. GallierMateriasAutomatic theorem provingSymbolic and mathematical LogicLogic, symbolic and mathematicalMATHEMATICS / LogicEdiciones (6)Logic for Computer Science (2015)
HHomology, Cohomology, and Sheaf Cohomology for Algebraic TopHomology, Cohomology, and Sheaf Cohomology for Algebraic Topology, Algebraic Geometry, and Differential Geometry
LLinear Algebra and Optimization with Applications to MachineLinear Algebra and Optimization with Applications to Machine Learning - Volume I
LLinear Algebra and Optimization with Applications to MachineLinear Algebra and Optimization with Applications to Machine Learning - Volume II
