Az alábbi lapok hivatkoznak erre: Vita:Lineáris és logikai következmény tétele
Külső eszközök
1 elem megjelenítve.