Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom
Title: | Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom |
Author: | Hotomski, Petar |
URI: | http://hdl.handle.net/123456789/149 |
Date: | 1982 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
phdHotomskiZPetar.pdf | 4.595Mb |
View/ |