Dokazivanje teorema prirodnim izvođenjem uz pomoć računara

eBiblioteka

 
 

Dokazivanje teorema prirodnim izvođenjem uz pomoć računara

Show full item record

Title: Dokazivanje teorema prirodnim izvođenjem uz pomoć računara
Author: Pevac, Irena
URI: http://hdl.handle.net/123456789/46

Files in this item

Files Size Format View
phdIrenaPevac.pdf 4.513Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record