Semantics and Logics of Computation
Andrew M. Dybjer, P. Pitts P Dybjer; Peter Dybjer; Andrew M Pitts
Cambridge Cambridge University Press 1997
Acesso online
- Buscando por
- emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Mostrar o que foi encontrado até o momento
Página Inicial
RSS
Feed
Políticas
Fale Conosco
Logos de Redes Sociais: 