Vol-2306⫷ Vol-2307 ⫸Vol-2308
urn:nbn:de:0074-2307-0


Vol-2307/paper14⫷Vol-2307/papee15⫸Vol-2307/preface3

Progress in the Formalization of Matiyasevich's Theorem in the Mizar System