jvvm.bib

@book{van2012logic,
  title = {Logic and Structure},
  author = {van Dalen, D.},
  isbn = {9781447145585},
  lccn = {2012953020},
  series = {Universitext},
  url = {https://books.google.com.br/books?id=u0wlXPHATDcC},
  year = {2012},
  publisher = {Springer London}
}

@book{hodges1997shorter,
  title = {A Shorter Model Theory},
  author = {Hodges, W.},
  isbn = {9780521587136},
  lccn = {96036603},
  url = {https://books.google.com.br/books?id=S6QYeuo4p1EC},
  year = {1997},
  publisher = {Cambridge University Press}
}

@book{barwise1999language,
  title = {Language, Proof, and Logic: Buch},
  author = {Barwise, J.},
  number = {v. 1},
  isbn = {9781889119083},
  series = {CSLI publications},
  url = {https://books.google.com.br/books?id=xGucswEACAAJ},
  year = {1999},
  publisher = {Seven-Bridges-Press}
}

@misc{SiteDisciplina,
title = {Site da Disciplina},
howpublished = {\url{http://www.cin.ufpe.br/~if673/}},
note = {Accessed on 2018-10-18}
}

@misc{WikiLogica,
title = {CInWiki Lógica},
howpublished = {\url{https://cin.ufpe.br/~pet/wiki/Lógica_para_Computação}},
note = {Acessed on 2018-10-18}
}