Treatise on Intuitionistic Type Theory

Sparad:
Bibliografiska uppgifter
Huvudupphov: Granstrm, Johan Georg
Institutionellt upphov: SpringerLink (Online service)
Materialtyp: Elektronisk E-bok
Språk:engelska
Utgiven: Dordrecht : Springer Netherlands, 2011.
Serie:Logic, Epistemology, and the Unity of Science ; 22
Ämnen:
Länkar:http://dx.doi.org/10.1007/978-94-007-1736-7
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Beskrivning
Fysisk beskrivning:digital.
ISBN:9789400717367
DOI:10.1007/978-94-007-1736-7