Formato normal Formato MARC Formato ISBD
Lógica proposicional via Lindenbaum-Tarski e Curry-Howard [Recurso eletrónico] / Hugo Cardoso Albuquerque ; sob orientação de Dirk Hofmann
Autor: Albuquerque , Hugo Cardoso, (1985-)Autor secundário: Hofmann , Dirk, (1974-)Autor Institucional (Secundário): Universidade de Aveiro . Departamento de Matemática.Língua: Português.País: Portugal.Publicação: Aveiro : H. Albuquerque, 2010Descrição: 1 CD-ROMDescrição: XI, 167 pTítulo paralelo: Propositional logic via Lindenbaum-Tarski and Curry-HowardAssunto : Álgebra // Cálculo lambda // Isomorfismo // Matemática aplicada -- Teses de mestrado // Lógica proposicionalCDU: 510.63:512.5(043)Recursos em linha:Formato digital
Tipo de documento Localização Colecção Cota Informação volume Estado Data de devolução Código de barras Reservas
Recursos eletrónicos Biblioteca da UA
Centro de Estudos de Jazz / Arquivo de Som
Literatura cinzenta (Teses, Dissertações, ...) PAC-CD-ROM-6682 (Ver prateleira) 2 Interdito 345279
Livro Mediateca da UA
Depósito da Mediateca (Acesso restrito)
Literatura cinzenta (Teses, Dissertações, ...) PAC-9956 (Ver prateleira) 1 Interdito 345278
Total de reservas 0

Edição impressa e em CD-ROM

Matemática e Aplicações Universidade de Aveiro 2010 Tese de mestrado


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>