Publication:4698612
From MaRDI portal
zbMath0823.03032MaRDI QIDQ4698612
Publication date: 31 October 1995
Related Items
On extensibility of proof checkers, A step towards absolute versions of metamathematical results, Generalizing classical and effective model theory in theories of operations and classes, Automated search for Gödel's proofs, Twenty years of rewriting logic, Constructibility and decidability versus domain independence and absoluteness