Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa = Algorithmic equivalence of multiple conclusion natural deduction systems and Beth's semantic tableaux method : doktorski rad / Marcel Maretić
Autor
Maretić, Marcel
Ostali autori
Materijalni opis
xxii, 131 str. : ilustr. ; 30 cm
Napomena
Mentor: Z. Šikić.
 
Bibliografija: str.127-128 (31 referenca), sažetak.
 
Kazalo.
Jezik
hrvatski
Građa
disertacija

MARETIĆ, Marcel
Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tabloa = Algorithmic equivalence of multiple conclusion natural deduction systems and Beth's semantic tableaux method : doktorski rad / Marcel Maretić. - Zagreb : PMF-Matematički odsjek, Sveučilište u Zagrebu, 2013. - xxii, 131 str. : ilustr. ; 30 cm
Mentor: Z. Šikić. - Bibliografija: str.127-128 (31 referenca), sažetak. - Kazalo.

Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.