Reguła wnioskowania: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
AdamKolany (dyskusja | edycje) poprawione odwołanie: relacja -> relacja_(matematyka) |
RoodyAlien (dyskusja | edycje) m HotCat: Szybkie dodanie kategorii "Logika" |
||
Linia 11:
* [[System Formalny]] i [[Dowód w Systemie Formalnym]]
[[Kategoria:Logika]]
| |||