TY - JOUR AU - Izidor Hafner TI - Mathematical Logic in Slovenia 1960-2010 JO - Review of the National Center for Digitization PY - 2012 SP - 82 VL - 20 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/NCD_2012_20_a9/ LA - en ID - NCD_2012_20_a9 ER -