Meta Level Architectures and Reflection
More editions
Meta- Level Architectures and Reflection P. Maes, D. Nardi (Editors) Elsevier
Science Publishers B.V. (North-Holland), 1988 CHECKING PROOFS IN THE
METAMATHEMATICS OF FIRST ORDER LOGIC Mario Aiello Instituto di Scienze
...