[Mat06] Matlog

[Cziraki Tamas]

Sziasztok!

Egypár kérdéssel fordulnék felétek a matlog tételekkel kapcsolatban.
Méghozzá a következőkkel:
1. TÉTEL-ben mi az a tárgynyelv/metanyelv?
12. TÉTEL-ben mi az a metaelmélet/elmélet?
De a leglényegesebb kérdésem, hogy a 9. TÉTEL-ben mi az, hogy felszálló,
leszálló? Illetve, hogy milyen illusztrációk kellenek a rendezéseken?
Előre is köszönöm a válaszokat!

Cziráki Tamás
--
Open WebMail Project (http://openwebmail.org)
Debian Project (http://www.debian.org)