01511nam0 2200349 i 450 SUN011403820180129031703.7230.00N978-94-017-9944-720180125d2015 |0engc50 baengNL|||| |||||*Commutative algebraconstructive methodsfinite projective modulesHenri Lombardi, Claude QuittéDordrecht : Springer, 2015XLIX996 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN00764912001 *Algebra and applications20210 BerlinSpringer2003-.13-XXCommutative algebra [MSC 2020]MFSUNC01973214QxxComputational aspects in algebraic geometry [MSC 2020]MFSUNC02081503FxxProof theory and constructive mathematics [MSC 2020]MFSUNC02438306DxxDistributive lattices [MSC 2020]MFSUNC033811NLDordrechtSUNL000068Lombardi, HenriSUNV088133755733Quitté, ClaudeSUNV088134755734SpringerSUNV000178650ITSOL20210503RICAhttp://dx.doi.org/10.1007/978-94-017-9944-7SUN0114038UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0140 08eMF140 20180125 Commutative algebra1522915UNICAMPANIA