APA   Click to copy
de Siqueira, J. V. P. M. (2022, January 29). Tripos models of Internal Set Theory (PhD thesis). University of Cambridge, https://www.repository.cam.ac.uk/handle/1810/331351.

Chicago/Turabian   Click to copy
Siqueira, J. V. Paiva Miranda de. “Tripos Models of Internal Set Theory.” PhD thesis, University of Cambridge, 2022.

MLA   Click to copy
de Siqueira, J. V. Paiva Miranda. Tripos Models of Internal Set Theory. University of Cambridge, 29 Jan. 2022.

@phdthesis{j2022a,
  title = {Tripos models of Internal Set Theory},
  year = {2022},
  month = jan,
  day = {29},
  address = {https://www.repository.cam.ac.uk/handle/1810/331351},
  school = {University of Cambridge},
  author = {de Siqueira, J. V. Paiva Miranda},
  month_numeric = {1}
}