Telecharger Cours

Models for Metamath - CEUR-WS

We define the collection of models of an arbitrary. Metamath formal system, both for tree-based and string-based represen- tations. This definition is ...



Download