TY - JOUR AU - Zelinka, Bohdan TI - Důkaz nezávislosti Birkhoffova systému postulátů pro distributivní svazy s jednotkovým prvkem JO - Časopis pro pěstování matematiky PY - 1966 SP - 472 EP - 477 VL - 091 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1966.117574/ DO - 10.21136/CPM.1966.117574 LA - cs ID - 10_21136_CPM_1966_117574 ER -