Course reserves for Licenciatura em Ciências da Computação

  1. Regime: 1º semestre
  2. School/Institute: Escola de Ciências (EC)
  3. Code: 7084
  4. Curricular Unit: Lógica CC
  5. Instrutor(s):
  6. Notes: Ano 2
Title Author Item type Location Collection Call number Copy number Status Date due Notes Link
Logic and structure Dirk van Dalen Monografia Biblioteca Geral da Universidade do Minho
BGUM 510.6 - D Available Existe edição posteriorà recomendade
Language, proof and logic Jon Barwise, John Etchemendy Monografia Biblioteca Geral da Universidade do Minho
BGUMR 510.6 - B Available Bibliografia Essencial