@book{https://doi.org/10.5281/zenodo.2600163,<br/><span class="tab"></span>
  doi = {10.5281/ZENODO.2600163},<br/><span class="tab"></span>
  url = {https://zenodo.org/record/2600163},<br/><span class="tab"></span>
  author = {Ferreira,<br/><span class="tab"></span> Marcelo},<br/><span class="tab"></span>
  language = {pt},<br/><span class="tab"></span>
  title = {Curso de Semântica Formal},<br/><span class="tab"></span>
  publisher = {Zenodo},<br/><span class="tab"></span>
  year = {2019},<br/><span class="tab"></span>
  copyright = {Creative Commons Attribution 4.0 International}
}