jcbs2.bib

@book{dirk2004vandalen,
  title={Logic and Structure},
  author={Van Dalen, D.},
  isbn={978-3-540-20879-2},
  url={https://books.google.com.br/books?id=4u9gQ6pctuIC&hl=pt-BR&source=gbs_book_other_versions},
  year={2004},
  publisher={Springer}
}

@book{wilfrid1997,
  title={A Shorter Model Theory},
  author={Hodges, W.},
  isbn={0-521-58713-1},
  url={https://books.google.com.br/books?id=S6QYeuo4p1EC&dq=a+short+model+theory+wildfrid&hl=pt-BR&source=gbs_navlinks_s},
  year={1997},
  publisher={Cambridge University Press}
}

@book{jon2000john,
  title={Language, Proof and Logic},
  author={Barwise, J. & Etchemendy, J.},
  isbn={1-889119-08-3},
  url={https://books.google.com.br/books/about/Language_Proof_and_Logic.html?id=we4YAQAAIAAJ&redir_esc=y},
  year={2000},
  publisher={Seven Bridges Press}
}

@book{jean1986galier,
  title={Logic for Computer Science},
  author={Galier, J. H.},
  isbn={0-06-042225-4},
  url={https://books.google.com.br/books?id=4uVQAAAAMAAJ&hl=pt-BR&source=gbs_book_other_versions},
  year={1986},
  publisher={Harper & Row}
}

@book{girard1989lafont,
  title={Proofs and Types},
  author={Girard, J.-Y., Lafont, Y. & Taylor, P.},
  isbn={0-521-37181-3},
  url={https://books.google.com.br/books/about/Proofs_and_Types.html?id=6JOEQgAACAAJ&redir_esc=y},
  year={1989},
  publisher={Cambridge University Press}
}