Formato normal Formato MARC Formato ISBD
A logical introduction to proof [Recurso eletrónico] / Daniel W. Cunningham
Autor: Cunningham , Daniel W.Língua: Inglês.País: Estados Unidos.ISBN: 978-1-4614-3631-7.Publicação: New York (NY) : Springer, 2013Descrição: XVI, 356 p. : ilAssunto : Lógica simbólica e matemática // Teoria de provaCDU: 510.6(0.034)Recursos em linha:Acesso restrito à UA
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
Livros eletrónicos Online (Ver prateleira) 1 Disponível 14987472
Total de reservas 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>