https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=Hilbert_system
Hilbert system - Revision history
2026-05-31T03:49:00Z
Revision history for this page on the wiki
MediaWiki 1.43.0-wmf.28
https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=252156&oldid=prev
195.113.16.234: /* References */ refs: +edition
2015-01-06T19:08:36Z
<p><span class="autocomment">References: </span> refs: +edition</p>
<a href="https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=252156&oldid=15881">Show changes</a>
195.113.16.234
https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=15881&oldid=prev
213.205.230.251: /* Formal deductions */ link to minimal logic and intuitionistic logic
2014-02-03T15:29:05Z
<p><span class="autocomment">Formal deductions: </span> link to minimal logic and intuitionistic logic</p>
<a href="https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=15881&oldid=252155">Show changes</a>
213.205.230.251
https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=252155&oldid=prev
en>Helpful Pixie Bot: ISBNs (Build KE)
2012-05-08T03:54:09Z
<p>ISBNs (Build KE)</p>
<a href="https://en.formulasearchengine.com/index.php?title=Hilbert_system&diff=252155">Show changes</a>
en>Helpful Pixie Bot