Hilbertovský kalkulus: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Výrokové axiomy: oprava matematického zápisu |
m Portálové šablony dle doporučení (s pomocí dat od Dannyho B.) |
||
Řádek 38:
== Odkazy ==
=== Související články ===
{{Portál Matematika}}▼
* [[Gentzenovský kalkulus]]
Řádek 44 ⟶ 43:
* {{Švejdar}}
[[Kategorie:Matematická logika]]
| |||