TINGKAT-TINGKAT BERPIKIR MAHASISWA DALAM MENERJEMAHKAN PERNYATAAN MATEMATIS BERKUANTOR UNIVERSAL DARI BENTUK KALIMAT BIASA MENJADI BENTUK KALIMAT FORMAL - Rudito, M Andy (Department of Mathematics Education, Faculty of Mathematics and Natural Sciences, UNY, 2012)