Konzultáció: Csütörtök: 12:00 - 14:00, órarend, e-mail: molnar.h.attila@gmail.com
Kezdőlap Kurzusok Archív	Rendre: 2014-2015 tavasz: Deontikus logika (magyar nyelven) 2014-2015 tavasz: A bizonyíthatóság logikája (angol nyelven) 2014-2015 tavasz: Elágazó téridők és temporális logika 2. (angol nyelven) 2014-2015 ősz: Elágazó téridők és temporális logika (angol nyelven) 2013-2014 tavasz: Elsőrendű modális logika (angol nyelven) 2013-2014 tavasz: Metalogika (Mekis Péterrel, angol nyelven) 2013-2014 ősz: Haladó modális logika (angol nyelven) 2013-2014 ősz: Bevezető a modális logikába 2012-2013 tavasz: LaTeX (Mekis Péterrel és Bitai Tamással) 2012-2013 ősz: Modális logika 2011-2012 tavasz: Peano aritmetika (Mekis Péterrel) 2011-2012 ősz: Metalogika (Mekis Péterrel)