završni rad
Prirodna dedukcija

Lucia Odeljan (2011)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin
Katedra za teorijske i primijenjene osnove informacijskih znanosti