završni rad
Prirodna dedukcija

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