GB: Porovnání verzí
Smazaný obsah Přidaný obsah
m r2.7.1) (robot přidal: ro:GB |
unifikace |
||
Řádek 1:
Spojení [[Písmeno|písmen]] '''[[G]]''' a '''[[B]]''' může mít různé významy:
{{SHORTTOC}}
* označení pro [[Von Neumann-Bernays-Gödelova teorie množin|Von Neumann-Bernays-Gödelovu teorii množin]]
| |||