Todistusteoriasta lauselogiikassa.
KARVONEN, SUVI (2000)
Tässä tietueessa ei ole kokotekstiä saatavilla Treposta, ainoastaan metadata.
KARVONEN, SUVI
2000
Matematiikka - Mathematics
Taloudellis-hallinnollinen tiedekunta - Faculty of Economics and Administration