Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom
| Titel: | Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom |
| Autor: | Hotomski, Petar |
| URI: | http://hdl.handle.net/123456789/149 |
| Datum: | 1982 |
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
| phdHotomskiZPetar.pdf | 4.595Mb | Öffnen |