History and philosophy of constructive type theory

Detalles Bibliográficos
Autores principales: Hintikka, Jaakko, van Dalen, Dirk, Davidson, Donald
Lenguaje:eng
Publicado: Springer 2010
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2697867

Internet

http://cds.cern.ch/record/2697867

Ejemplares similares