Autor sam sveučilišnog udžbenika: Matematička logika, Element, Zagreb, 2009.

Autor sam, odnosno koautor, sljedećih nastavnih materijala (objavljeni su samo na web-u):

Teorija skupova, predavanja, PMF-MO, Zagreb, 2015. 

Teorija skupova, zbirka zadataka, PMF-MO, Zagreb, 2009. (koautori su F.M.Brueckler, V. Čačić i M.Doko)

Izračunljivost, predavanja i vježbe, PMF-MO, Zagreb, 2009. 

Složenost algoritama, predavanja i vježbe, PMF-MO, Zagreb, 2019.

Primijenjena logika, poslijediplomska predavanja, PMF-MO, Zagreb, 2011.

Matematička logika i izračunljivost, predavanja, FER, Zagreb, 2017.; zadaci s glavnim testom za FO

Semantike logika dokazivosti i interpretabilnosti, poslijediplomska predavanja, PMF-MO, Zagreb, 2017.

Algebarska semantika modalne logike, poslijediplomska predavanja, PMF-MO, Zagreb, 2020.

 Ovdje je lista mojih objavljenih stručnih radova.    

M. Vuković, Indirektni dokazi, MFL 172 (1992), 113-122

M. Vuković, Matematička logika u osnovnoj i srednjoj školi, Zbornik radova 4. susreta nastavnika matematike, Zagreb, 1998.

M.Vuković, Gödelovi teoremi nepotpunosti, MFL 206 (2002), 74-79

M. Vuković, Studij za nastavnika matematike na PMF-MO u Zagrebu, Zbornik radova 6. susreta nastavnika matematike, Zagreb, 2002.

F. M. Brueckler, M. Vuković, Studij za nastavnika matematike u Njemačkoj, Matematika i škola 3 (2002), 181-184

M. Vuković, Neki osnovni pojmovi teorije skupova, Osječka mat. škola 2 (2002), 31-38

M. Vuković, Matematička indukcija i Goodsteinov teorem, Poučak 13 (2003), 5-13

M. Vuković, Obrazovanje nastavnika na PMF-MO u Zagrebu: sadašnje stanje i planovi, Poučak 17 (2004), 5-13

B. Dalbelo-Bašić, R. Manger, G. Nogo, D. Rosenzweig, M. Vuković, A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb, ITI, 2006.

M. Vuković, O aksiomu izbora, cipelema i čarapama, Poučak 39 (2009), 54-60

Milana Vuković, M. Vuković, U potrazi za skupovima, Poučak 41 (2010), 61-67; 48-49

A. Novak, M. Vuković, Studij matematike u Zagrebu, MFL 241 (2010), 59-66

M. Vuković, Ima li logike i skupova u Prijedlogu Okvirnog matematičkog kurikuluma?, Zbornik radova 4. kongresa nastavnika matematike, Zagreb, 2010.

M. Vuković, Sintaksa i semantika u logici. predavanje na stručnom skupu nastavnika logike, Zadar, 2012.

M. Vuković, Matematički jezik: oznake i izrazi, predavanje na županijskim skupovima nastavnika matematike, Krapina, Gola, Zagreb, Popovača, Varaždin, Duga Resa, 2014.

I. Gavran, M. Vuković, Logička analiza hibridnih sustava, Poučak 58 (2014), 4-16

V. Čačić, P. Paradžik, M. Vuković, Logičko programiranje, math.e 26 (2015)

Milana Vuković, M. Vuković, Matematički jezik: oznake i izrazi, Matematika i škola 79 (2015)

L. Rožić, J. Šnajder, M. Vuković, Lambda račun kao osnova funkcijskog programiranja, math.e 29 (2016)

P. Gregorek, M. Vuković, Prebrojivi skupovi, MFL 271 (2018), 152-157

P. Gregorek, M. Vuković, Neprebrojivost skupa transcendetnih brojeva, MFL 272(2018), 222-227

Milana Vuković, Mladen Vuković, Rješavanje logičkih zadataka metodom semantičkih stabala, Matematika i škola 94 (2018),
158-165

P. Jambriško, M. Vuković, Jedan neobičan dokaz, MFL  281(2020), 18-22

P. Gregorek. M. Vuković, Goedelovi teoremi nepotpunosti - 90 godina poslije, math.e 41 (2023)

S. Požgaj, M. Vuković, Sokoban je NP težak, math.e 42 (2023)