APA   Click to copy
Siqueira, J. (2024). Nonstandard proof methods in toposes. Annals of Pure and Applied Logic, 175(5). https://doi.org/10.1016/j.apal.2024.103424

Chicago/Turabian   Click to copy
Siqueira, José. “Nonstandard Proof Methods in Toposes.” Annals of Pure and Applied Logic 175, no. 5 (2024).

MLA   Click to copy
Siqueira, José. “Nonstandard Proof Methods in Toposes.” Annals of Pure and Applied Logic, vol. 175, no. 5, 2024, doi:10.1016/j.apal.2024.103424.

@article{jos2024a,
  title = {Nonstandard proof methods in toposes},
  year = {2024},
  issue = {5},
  journal = {Annals of Pure and Applied Logic},
  volume = {175},
  doi = {10.1016/j.apal.2024.103424},
  author = {Siqueira, José}
}