Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom
| dc.contributor.author | Hotomski, Petar | en_US |
| dc.date.accessioned | 2009-12-03T12:12:27Z | |
| dc.date.available | 2009-12-03T12:12:27Z | |
| dc.date.issued | 1982 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/149 | |
| dc.description.provenance | Made available in DSpace on 2009-12-03T12:12:27Z (GMT). No. of bitstreams: 1 phdHotomskiZPetar.pdf: 4595620 bytes, checksum: e89bedf2e3c797dba8fecbea370e6e46 (MD5) | en |
| dc.format.extent | 132 | |
| dc.publisher | Belgrade | en_US |
| dc.title | Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| phdHotomskiZPetar.pdf | 4.595Mb |
View/ |