Zen and the art of formalisation
From MaRDI portal
Publication:3094169
DOI10.1017/S0960129511000065zbMath1276.03002MaRDI QIDQ3094169
Publication date: 21 October 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03B35: Mechanization of proofs and logical operations
03-03: History of mathematical logic and foundations
68-03: History of computer science
Related Items
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita, A formalization of multi-tape Turing machines