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 |