Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom

eBibliothek Repositorium

 
 

Metode i pravila za mehaničko dokazivanje teorema u teorijama prvog reda matematičkom indukcijom

Zur Langanzeige

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 PDF Öffnen

Das Dokument erscheint in:

Zur Langanzeige