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 |
Dateien zu dieser Ressource
Dateien | Größe | Format | Anzeige |
---|---|---|---|
phdHotomskiZPetar.pdf | 4.595Mb | Öffnen |