LEADER 01240nam0 2200289 i 450 001 VAN0066571 005 20240216094617.981 010 $a978-15-688-1249-6 100 $a20081204d2005 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆThe ‰Notre Dame lectures$fedited by Peter Cholak 210 $aWellesley$cA. K. Peters ; Urbana$cAssociation for Symbolic Logic$d2005 215 $aVII, 185 p.$d23 cm 410 1$1001VAN0065132$12001 $aLecture notes in logic$1210 $aChicago$cAssociation for symbolic logic$v18 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a00B15$xCollections of articles of miscellaneous specific interest [MSC 2020]$3VANC023985$2MF 620 $dWellesley$3VANL000856 702 1$aCholak$bPeter$3VANV043627 712 $aPeters$3VANV109174$4650 801 $aIT$bSOL$c20240223$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0066571 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0782 $e08 8441 II 20081204 996 $aNotre Dame lectures$91416854 997 $aUNICAMPANIA LEADER 02166nam0 2200445 i 450 001 VAN00105334 005 20251010124723.271 017 70$2N$a9783319194943 100 $a20160503d2015 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aConstructive commutative algebra$eprojective modules over polynomial rings and dynamical Gröbner bases$fIhsen Yengui 210 $aCham [etc.]$cSpringer$d2015 215 $aVII, 271 p.$d24 cm 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v2138 500 1$3VAN00234139$aConstructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases$91907541 606 $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF 606 $a13Cxx$xTheory of modules and ideals in commutative rings [MSC 2020]$3VANC022063$2MF 606 $a13Pxx$xComputational aspects and applications [MSC 2020]$3VANC029095$2MF 606 $a14Qxx$xComputational aspects in algebraic geometry [MSC 2020]$3VANC020815$2MF 610 $aDynamical Gröbner Bases$9KW:K 610 $aDynamical Methods in Commutative Algebra$9KW:K 610 $aGröbner Ring Conjecture$9KW:K 610 $aHermite Ring Conjecture$9KW:K 610 $aQuillen-Suslin Theorem$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aYengui$bIhsen$3VANV081943$0718166 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20251017$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-319-19494-3$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00105334 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book $e08LNM2138 20160503 996 $aConstructive commutative algebra : projective modules over polynomial rings and dynamical Gröbner bases$91907541 997 $aUNICAMPANIA