期刊名：<b>Formalized Mathematics</b>/issn:1426-2630 <button onclick='javascrip:history. back()'>返回列表</button><br><table><tr bgcolor=#009a31><td>收入的数据库</td><td>查看文献题录（留空直达期刊首页）</td><td>收入起止年份</td></tr><tr><td>DOAJ Directory of Open Access Journals</a></td><td><form method=post action=jlist.php target=_blank><input type=hidden name=action value=articlelink><input type=hidden name=avid value=66733><input type=hidden name=jid value=50816>卷号:<INPUT name=jvolume  size=4>,首页页码:<INPUT name=spage size=4><input type=submit value='查看期刊原文'></form></td><td> Available from 2006 </td></tr><tr><td colspan=3 bgcolor=#009a31 height=2></td></tr><tr><td>Metapress Journals</a></td><td><form method=post action=jlist.php target=_blank><input type=hidden name=action value=articlelink><input type=hidden name=avid value=66732><input type=hidden name=jid value=50816>卷号:<INPUT name=jvolume  size=4>,首页页码:<INPUT name=spage size=4><input type=submit value='查看期刊原文'></form></td><td> Available from 2006 volume: 14 issue: 1 until (and including) 2012 volume: 20 issue: 1 </td></tr><tr><td colspan=3 bgcolor=#009a31 height=2></td></tr><tr><td>De Gruyter Online Journals</a></td><td><form method=post action=jlist.php target=_blank><input type=hidden name=action value=articlelink><input type=hidden name=avid value=66731><input type=hidden name=jid value=50816>卷号:<INPUT name=jvolume  size=4>,首页页码:<INPUT name=spage size=4><input type=submit value='查看期刊原文'></form></td><td> Available from 2008 volume: 14 </td></tr><tr><td colspan=3 bgcolor=#009a31 height=2></td></tr></table>